Gli interessi di Kreisel: Sui fondamenti della logica e della matematica

Recensioni dei lettori

Attualmente non ci sono recensioni dei lettori. La valutazione si basa su 2 voti.

Titolo originale:

Kreisel's Interests: On the Foundations of Logic and Mathematics

Contenuto del libro:

I contributi di questo volume provengono dai partecipanti alla conferenza internazionale Kreisel's Interests -- On the Foundations of Logic and Mathematics, che si è svolta dal 13 al 14 agosto 2018 presso l'Università di Salisburgo a Salisburgo, in Austria.

I contributi sono stati rivisti e parzialmente ampliati. Tra i collaboratori figurano Akihiro Kanamori, G ran Sundholm, Ulrich Kohlenbach, Charles Parsons, Daniel Isaacson e Kenneth Derus.

I contributi riguardano le discussioni tra Kreisel e Wittgenstein sulla filosofia della matematica, il Dictum di Kreisel, la teoria delle prove, le discussioni tra Kreisel e G del sulla filosofia della matematica, alcuni fatti biografici e una raccolta di estratti dalle lettere di Kreisel.