Onko näin että tyyppiteorian näkökulmasta kaksiarvologiikkaan ja ZFC-aksioomiin perustuva matematiikka on vain eräs haara matematiikan suuressa puussa?
Tyyppiteoria
Setä
0<50
0Äänestä
Muut lukivat myös
Odottaa vastausta
Näihin keskusteluihin ei ole vielä vastattu. Ole ensimmäinen.
Vastaukset
Vanhimmat
Ei vielä vastauksia
Aloittaja odottaa vastauksia. Kerro oma näkemyksesi ensimmäisenä.