Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/mom/module/pub/view-inc.php on line 105
Repository | Book | Chapter
Real and ideal in constructive mathematics
pp. 69-85
Abstract
Certain periods of life look as if they will last for ever. Then suddenly one is struck by the realization that time has gone by and that the period in question has become part of the past. Over 30 years have passed since Per Martin-Löf first came to Padua to give a course on his type theory.
Publication details
Published in:
Dybjer P, et al. (2012) Epistemology versus ontology: essays on the philosophy and foundations of mathematics in honour of per Martin-löf. Dordrecht, Springer.
Pages: 69-85
Deprecated: DateTime::createFromFormat(): Passing null to parameter #2 ($datetime) of type string is deprecated in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/mom/module/pub/view-inc.php on line 496
DOI: 10.1007/978-94-007-4435-6_4
Full citation:
Sambin Giovanni (2012) „Real and ideal in constructive mathematics“, In: P. Dybjer, S. Lindström, E. Palmgren & G. Sundholm (eds.), Epistemology versus ontology, Dordrecht, Springer, 69–85.