The Logic and Metaphysics Workshop will meet on September 14th from 4:15-6:15 (NY time) via Zoom for a talk by Chris Scambler (NYU). Abstract: I will present a modal axiom system for set theory that ...
Cantor’s diagonal argument is neat because it provides us with a clever way to confront infinities which can’t be avoided. Infinities are present in other areas of life, too — in systems of ...
ABSTRACT: The paper summarizes the contributions of the three philosophies of mathematics—logicism, intuitionism-constructivism (constructivism for short) and formalism and their rectification—which ...
ABSTRACT: The paper resolves the great debate of the 20th century between the three philosophies of mathematics-logicism, intuitionism and formalism—founded by Bertrand Russell and A. N. Whitehead, L.
Abstract: This paper describes a formal proof of Cantor-Bernstein-Schroeder’s Theorem based on Morse-Kelley axiomatic set theory, which use inductive without axiom of choice in the proof assistant Coq ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback