Carl J. Posy

3 books

Computability: Turing, Godel, Church, and Beyond by B. Jack Copeland, Oron Shagrir, Carl J. Posy

Computability: Turing, Godel, Church, and Beyond

B. Jack Copeland, Oron Shagrir, Carl J. Posy

362 pages • first pub 2013 (editions)

nonfiction computer science mathematics philosophy informative reflective medium-paced
Computability: Turing, Gödel, Church, and Beyond by B. Jack Copeland, Oron Shagrir, Carl J. Posy

Computability: Turing, Gödel, Church, and Beyond

B. Jack Copeland, Oron Shagrir, Carl J. Posy

376 pages • first pub 2013 (editions)

nonfiction computer science philosophy science challenging informative reflective medium-paced
Mathematical Intuitionism by Carl J. Posy

Mathematical Intuitionism

Elements in the Philosophy of Mathematics

Carl J. Posy

75 pages • missing pub info (editions)

nonfiction philosophy science medium-paced