The limits of reason

Scientific American

Volumn 294, Issue 3, 2006, Pages 74-81

  Chaitin, Gregory ^a,b,c  

^a IBM T J WATSON RESEARCH CENTER   (United States)

^b UNIVERSIDAD DE BUENOS AIRES   (Argentina)

^c UNIVERSITY OF AUCKLAND   (New Zealand)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER PROGRAM LISTINGS; FINITE ELEMENT METHOD; FORMAL LOGIC;

AXIOMS; FINITE SYSTEM; OMEGA;

THEOREM PROVING;

EID: 33644747646     PISSN: 00368733     EISSN: None     Source Type: Journal    
DOI: 10.1038/scientificamerican0306-74     Document Type: Review

References (0)