scientific article; zbMATH DE number 4004151

zbMATH Open0619.03011MaRDI QIDQ3755428FDOQ3755428

Authors: Leon Gumański 

Publication date: 1986

Title of this publication is not available (Why is that?)

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

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)

Cited In (7)

• Title not available (Why is that?)
• The Diagonal Method and Hypercomputation
• Analogy and diagonal argument
• Combinatorial variations on Cantor's diagonal
• 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

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)