Metamathematics, Machines and Gödel's Proof

Metamathematics, Machines and Gödel's Proof

By
N. Shankar
N. Shankar
1994 • 224 pages

Describes the use of computer programs to check several proofs in the foundations of mathematics.

Become a Librarian

Tags

Genres

Series

Featured Series

4 released books

Cambridge Tracts in Theoretical Computer Science

Cambridge Tracts in Theoretical Computer Science is a 4-book series first released in 1987 with contributions by Gregory Chaitin, N. Shankar, and Anne S. Troelstra.

Algorithmic Information Theory
Metamathematics, Machines and Gödel's Proof
Basic Proof Theory
Modal Logic

Reviews

Popular Reviews

Reviews with the most likes.

There are no reviews for this book. Add yours and it'll show up right here!

Top Lists

See all (1)

List

17,813 books

My Library

Nitin
Nitin Rughoonauth
Fermi Remembered
Goedel's Way: Exploits into an undecidable world
Brave Genius: A Scientist, a Philosopher, and Their Daring Adventures from the French Resistance to the Nobel Prize
Debate en torno a la etica del discurso de Apel: Diálogo filosófico Norte-Sur desde América Latina
Love and math : the heart of hidden reality
The Road to Reality
The Large, the Small and the Human Mind