Réalisme et antimécanisme chez K. Gödel

DOI10.1111/J.1746-8361.1986.TB01538.XzbMath0628.03003OpenAlexW1508865503MaRDI QIDQ3764123

Jacques Dubucs

Publication date: 1986

Published in: Dialectica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1111/j.1746-8361.1986.tb01538.x

zbMATH Keywords

accessibilityrealismTuring machineGödelconstructivismfirst incompleteness theoremantimechanismevaluation of an undecidable statement in a formal systemnon-combinatorial notion of truth

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03)

This page was built for publication: Réalisme et antimécanisme chez K. Gödel