Formalismin rajat
Finna-arvio
Formalismin rajat
Tallennettuna:
| Kieli |
suomi |
|---|---|
| Huomautukset |
Formaalisen logiikan rajoitusten tutkiminen formaalisen logiikan avulla. Katsaus logiikan historiaan (Aristoteles, Frege, Kant, Russel, Hilbert, Gödel, Church, Turing, Tarski, Quine, Putnam). |
| Luokitus | |
| Aiheet |