Hilbert II - QEDEQ 0.04.02

Licentie: Gratis ‎Bestandsgrootte: N/A
‎Gebruikersbeoordeling: 4.0/5 - ‎1 ‎Stemmen

Over Hilbert II - QEDEQ

In de traditie van Hilbert's programma creëren we een formele correcte (controleerbaar door een bewijsverificateur), maar leesbaar (zoals een gewone LaTeX leerboek) wiskundige kennis basis die vrij toegankelijk is binnen het internet. Logica en settheorie begonnen.