scientific article; zbMATH DE number 4004151

MaRDI QIDQ3755428zbMATH OpenFDO

Authors Leon Gumański

Publication date 1986

zbMATH Keywords

diagonal methoddecision procedure for the functional calculus of first order

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Set theory (03E99)

Recommendations

• Cantor's diagonal procedure and set theory (history of science and logical contexts).
• Cantor's diagonal argument and the consistency of set theory
• Publication:3478371
• Diagonalisation and Church's Thesis: Kleene's Homework
• The Diagonal Method and Hypercomputation

Cited in

(7)

• Cantor Staircases in Physics and Diophantine Approximations
• Cantor's diagonal procedure and set theory (history of science and logical contexts).
• Cantor's diagonal argument and the consistency of set theory
• Analogy and diagonal argument
• scientific article; zbMATH DE number 4004150 (Why is no real title available?)
• Combinatorial variations on Cantor's diagonal
• The Diagonal Method and Hypercomputation

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3755428)