Undecidable Theories: Studies in Logic and the Foundation of Mathematics by Alfred Tarski

Undecidable Theories: Studies in Logic and the Foundation of Mathematics

Dover Books on Mathematics

Alfred Tarski

98 pages • missing pub info (editions)

nonfiction mathematics challenging informative medium-paced
Powered by AI (Beta)
Loading...

Description

This graduate-level book is well known for its proof that many mathematical systems--including lattice theory, abstract projective geometry, and closure algebras--are undecidable. Based on research conducted from 1938 to 1952, it consists of three...

Read more

Community Reviews

Loading...

Content Warnings

Loading...