Grupo WhatsApp
Autor

George Boolos

George Boolos (1940-1996) foi um filósofo e lógico matemático americano, conhecido por seu trabalho em lógica matemática e filosofia da matemática. Nascido em Nova Iorque, obteve seu diploma de bacharel em matemática pela Universidade de Princeton e, posteriormente, um diploma de bacharel em filosofia pela Universidade de Oxford. Concluiu seu doutorado em filosofia no MIT, onde lecionou por grande parte de sua carreira, tornando-se Professor Rockefeller de Filosofia. É coautor do livro "Computability and Logic", um texto clássico sobre lógica matemática, e autor de "Logic, Logic, and Logic", uma coleção póstuma de seus artigos.

1Livros encontrados
Obras

Obras relacionadas

  • Computability and logic
  • Logic, Logic, and Logic
  • Meaning and method
  • The unprovability of consistency
  • The Logic of provability

1 resultado

entre no grupo de ofertas!