dedukcja naturalna 1
rzeczownikdomena: myślenierejestr: specj.
Słowosieć [ver.5.0]
PolskiDefinicja
intuicyjny i generujący dowody system dowodzenia twierdzeń, bazujący na systemach Hilberta.
Przykłady
- 1.Główne prace Gentzena dotyczyły podstaw matematyki, teorii dowodu, dedukcji naturalnej i rachunku sekwentów.
- 2.Istnieje wiele innych metod, które mają większą wydajność i generują bardziej czytelne dowody. Do najprostszych z nich należą sekwenty Gentzena, systemy Hilberta oraz dedukcja naturalna.
- 3.W 1969 r. William Alvin Howard zauważył, że system dowodowy „wysokiego poziomu”, zwany dedukcją naturalną, można bezpośrednio interpretować w jego intuicyjnej wersji jako typowy wariant modelu obliczeniowego zwanego rachunkiem lambda.
