Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Intuitionistic Mathematics and Realizability in the Physical World - MaRDI portal

Intuitionistic Mathematics and Realizability in the Physical World

From MaRDI portal

Publication:4907917

Jump to:navigation, search

DOI10.1142/9789814374309_0008zbMath1257.03014OpenAlexW2477457213MaRDI QIDQ4907917

Andrej Bauer

Publication date: 26 February 2013

Published in: A Computable Universe (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/0a5a3816bedb475aa0d807e95d9f4c4003a30fc7

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Intuitionistic mathematics (03F55) General topics in the theory of computing (68Q01)

Related Items (1)

Maximal ideals in countable rings, constructively

This page was built for publication: Intuitionistic Mathematics and Realizability in the Physical World

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4907917&oldid=19298836"