Philosophy

There have been 1 topic suggestion tagged with philosophy.

Related Tags

constructive mathematics
type theory
computability
topology
logic
computer science

Talk Suggestions

Constructive Mathematics

Constructive mathematics, or mathematics without the law of the excluded middle, is becoming more popular thanks to connections with computer science, category theory, and topology. Its logical foundations may be initially difficult to grasp for those used to a classical system.

Possible reference materials for this topic include

(Talk) Andrej Bauer, Five Stages of Accepting Constructive Mathematics

Quick links: Google search, arXiv.org search, propose to present a talk

computability computer science constructive mathematics logic philosophy topology type theory