Słownik pojęć
formalizacja matematyczna
Definicja, znaczenie i użycie terminu w kontekście publikacji.
Przepisanie twierdzenia i jego dowodu do postaci kodu, który może być sprawdzany przez komputer krok po kroku.
Formalizacja matematyczna polega na zapisaniu definicji, założeń i kolejnych wniosków w precyzyjnym języku formalnym. Dzięki temu system komputerowy może wykrywać niezgodności w poszczególnych etapach dowodu.