Andrej Bauer: Logika iz geometrije

Povzetek: V običajnih osnovah matematike ima logika s teorijo množic prednost pred geometrijo. Lahko pa izhajamo tudi iz geometrijske intuicije in za osnove matematike postavimo pojme "prostor", "vlaknenje", "totalni prostor", "prerez" in "homotopija". Temeljna matematična aktivnost se tako prelevi iz dokazovanja v konstruiranje geometrijskih objektov. Logika in množice nastopajo kot izpeljani pojem, saj jih lahko opredelimo kot geometrijske objekte s trivialno strukturo. Jezik, v katerem izrazimo geometrijske osnove matematike je teorija tipov.

Vabljeni!