The time separation principle and the analysis of a class of quasifinite plausible reasonings (in terms of the Cantor uncountability theorem)

zbMath0972.03057MaRDI QIDQ1595684

A. A. Zenkin

Publication date: 13 February 2001

Published in: Doklady Mathematics (Search for Journal in Brave)

zbMATH Keywords

Cantor theoremlogical correctness of formal inferencestime separation principle

Mathematics Subject Classification ID

Applications of set theory (03E75) Proof theory and constructive mathematics (03F99)

This page was built for publication: The time separation principle and the analysis of a class of quasifinite plausible reasonings (in terms of the Cantor uncountability theorem)