Audyt fałszywego dowodu
Zasada pracy: sprawdzaj każde przejście i zapisuj warunki wykonywanych działań. W rozumowaniu zaczynającym się od a=b czynnik a−b jest równy zero, więc nie wolno go skracać.
Komputer może wskazać podejrzany krok. Matematyka nadal musi uzasadnić, dlaczego konkretne przekształcenie jest niedozwolone.
Wróć do listy laboratoriów