Mathematik
Mathematische Konzepte, Theorien, Rätsel und Anwendungen
-
Mathematik
Computer können mathematische theoreme mit perfekter genauigkeit beweisen
-
Mathematik
Abella beweist die verborgenen Regeln der logischen Programmierung
-
Mathematik
Leans Engine automatisiert komplexe mathematische Beweise
-
Mathematik
NuPRL verwandelt mathematische Beweise in perfekte Programme
-
Mathematik
Kann ein kleines modell unendliche mengen verstehen?
-
Mathematik
Computer prüfen jetzt Mathematik auf Fehler
-
Mathematik
Code und logik sind zwei seiten derselben medaille
-
Mathematik
Twelf analysiert die werkzeuge, die mathematik überprüfen
-
Mathematik
Diese logik lehnt das gesetz des ausgeschlossenen dritten ab
-
Mathematik
Matita hilft computern, mathematische beweise zu überprüfen
-
Mathematik
Ein mathematischer beweis, der grundlagen erschütterte
-
Mathematik
Chaitins konstante enthüllt den zufälligen kern der berechnung
-
Mathematik
Zorns Lemma hilft, maximale Ketten zu finden
-
Mathematik
Mathematiks verborgene welten: jenseits der standardzahlen
-
Mathematik
Symmetrien in der natur schaffen erhaltungsgesetze
Weitere Kategorien
Kategorien →