The article surveys ideas emerging within the predicative tradition in the foundations of mathematics, and attempts a reading of predicativity constraints as highlighting different levels of understanding in mathematics. A connection is made with two kinds of error which appear in mathematics: local and foundational errors. The suggestion is that ideas originating in the predicativity debate as a reply to foundational errors are now having profound influence to the way we try to address the issue of local errors. Here undamental new interactions between computer science and mathematics emerge.
Error and predicativity / Crosilla L.. - STAMPA. - 9136:(2015), pp. 13-22. [10.1007/978-3-319-20028-6_2]
Error and predicativity
Crosilla L.
2015
Abstract
The article surveys ideas emerging within the predicative tradition in the foundations of mathematics, and attempts a reading of predicativity constraints as highlighting different levels of understanding in mathematics. A connection is made with two kinds of error which appear in mathematics: local and foundational errors. The suggestion is that ideas originating in the predicativity debate as a reply to foundational errors are now having profound influence to the way we try to address the issue of local errors. Here undamental new interactions between computer science and mathematics emerge.
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
