| Born | 1968, Argentina |
| Field | Philosophy • Mathematics |
| Spouse | Antonia Ocampo (m. 1995) |
| Children | María • Juan Jr. • Andrés |
| Religion | |
| Known for | Language theory • Formal logic • Concept of recursion • Maldacena Completeness Conjecture |
| Nationality | |
| Institutions | University of Buenos Aires • University of Córdoba |
| Notable works | On the Incompleteness of Formal Systems • The Nature of Recursion • The Limits of Language |
| Awards and honors | Argentine National Prize in Philosophy • The International Prize in Mathematics |
