Als «automated-theorem-proving» getaggte Fragen

Angenommen, wir haben eine große Anzahl von Beweisen im Prädikatenkalkül erster Ordnung. Angenommen, wir haben auch die Axiome, Korollarien und Theoreme auf diesem Gebiet der Mathematik in dieser Form. Betrachten Sie jeden Satz, der bewiesen wurde, und den Bestand der existierenden Theorie, der diesen bestimmten Satz umgibt, als Beispiel in …

21 neural-networks  deep-learning  math  automated-theorem-proving