pragmatismo
Immagine:
Così esordiva nel 1960 Patrick Suppes nel suo libro Axiomatic Set Theory, destinato a diventare un classico:
Chi ha letto questo articolo ha letto anche…
Immagine:
Once we have discarded our rooted predilection for absolute Causality, we shall succeed in overcoming the difficulties.
Erwin Schrödinger, Science Theory and Man, Dover, New York 1957.
Mathematical reasoning can be done, and often should be done, in mechanizable formal logic.
Andrew W. Appel, Alain Turing’ Systems of Logic, 2012
Erwin Schrödinger, Science Theory and Man, Dover, New York 1957.
Mathematical reasoning can be done, and often should be done, in mechanizable formal logic.
Andrew W. Appel, Alain Turing’ Systems of Logic, 2012
Chi ha letto questo articolo ha letto anche…
Ricerca nel sito
Accesso utente
