Disputation

Summary: The drama consists of dialogues between characters Class, Int, Form, and Letter, explores the principles of intuitionism in mathematics, contrasting it with classical logic. Int argues that mathematical existence is tied to mental constructions, rejecting the principle of excluded middle to assert that definitions must be verifiable through constructive methods. The discussion highlights the philosophical implications of accepting intuitionistic mathematics and its potential rejection of classical results, emphasizing the importance of mental constructs over metaphysical assertions.

Story Tag Line: Coming soon.