The top documents tagged [formal axiomatic system]

Feferman, Godel

---

537 views

Incomputability, Undecidability and Nondeterminism: from formal systems to human minds Filippo Cacace Università Campus Biomedico, Roma [email protected].

---

214 views

The incompleteness of reason

---

566 views