Dyskusja:Dedukcja naturalna
Z Wikipedii
[edytuj] Ze zgłoś błąd
Dedukcja naturalna nie powinna być definiowana przy pomocy "okien". To tylko jeden z możliwych (i pewnie niezbyt ważny) sposobów przedstawiania struktury blokowej dowodów, dopuszczającej dowody zagnieżdżone. W najbardziej popularnych systemach stosujących dedukcje naturalną (Mizar, HOL) nie ma żadnych "okien". Podobnie w propozycji L.Lamporta "How to write a proof?" struktura blokowa jest opisana przez "compact numbering scheme", w zasadzie taki sam sposób numeracji, jaki był użyty przez L.Wittgensteina w 'Tractatus Logico-Philosophicus: http://www.kfs.org/~jonathan/witt/ten.html także bez "okien".
Zgłosił: 220.254.0.4 (dyskusja) 12:43, 29 sty 2008 (CET)