Cantor’s Paradise Regained: Constructive Mathematics from Brouwer to Kolmogorov to Gelfond

DOI10.1007/978-3-642-20832-4_12zbMath1326.03076OpenAlexW1527166222MaRDI QIDQ3001920

Vladik Ya. Kreinovich

Publication date: 19 May 2011

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-20832-4_12

zbMATH Keywords

algorithmsconstructive mathematicslogic programming

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Logic programming (68N17) Other constructive mathematics (03F65)

This page was built for publication: Cantor’s Paradise Regained: Constructive Mathematics from Brouwer to Kolmogorov to Gelfond