[{"@context":"http:\/\/schema.org\/","@type":"BlogPosting","@id":"https:\/\/wiki.edu.vn\/all2pl\/wiki27\/teoria-demonstracji-wikipedia\/#BlogPosting","mainEntityOfPage":"https:\/\/wiki.edu.vn\/all2pl\/wiki27\/teoria-demonstracji-wikipedia\/","headline":"Teoria demonstracji – Wikipedia","name":"Teoria demonstracji – Wikipedia","description":"before-content-x4 Artyku\u0142 w Wikipedii, Free L’Encyclop\u00e9i. after-content-x4 . Teoria demonstracji , znany r\u00f3wnie\u017c jako Teoria dowodu (z angielskiego Teoria dowodu","datePublished":"2020-05-09","dateModified":"2020-05-09","author":{"@type":"Person","@id":"https:\/\/wiki.edu.vn\/all2pl\/wiki27\/author\/lordneo\/#Person","name":"lordneo","url":"https:\/\/wiki.edu.vn\/all2pl\/wiki27\/author\/lordneo\/","image":{"@type":"ImageObject","@id":"https:\/\/secure.gravatar.com\/avatar\/44a4cee54c4c053e967fe3e7d054edd4?s=96&d=mm&r=g","url":"https:\/\/secure.gravatar.com\/avatar\/44a4cee54c4c053e967fe3e7d054edd4?s=96&d=mm&r=g","height":96,"width":96}},"publisher":{"@type":"Organization","name":"Enzyklop\u00e4die","logo":{"@type":"ImageObject","@id":"https:\/\/wiki.edu.vn\/wiki4\/wp-content\/uploads\/2023\/08\/download.jpg","url":"https:\/\/wiki.edu.vn\/wiki4\/wp-content\/uploads\/2023\/08\/download.jpg","width":600,"height":60}},"image":{"@type":"ImageObject","@id":"https:\/\/fr.wikipedia.org\/wiki\/Special:CentralAutoLogin\/start?type=1x1","url":"https:\/\/fr.wikipedia.org\/wiki\/Special:CentralAutoLogin\/start?type=1x1","height":"1","width":"1"},"url":"https:\/\/wiki.edu.vn\/all2pl\/wiki27\/teoria-demonstracji-wikipedia\/","wordCount":898,"articleBody":"     (adsbygoogle = window.adsbygoogle || []).push({});before-content-x4Artyku\u0142 w Wikipedii, Free L’Encyclop\u00e9i.        (adsbygoogle = window.adsbygoogle || []).push({});after-content-x4. Teoria demonstracji , znany r\u00f3wnie\u017c jako Teoria dowodu (z angielskiego Teoria dowodu ), jest ga\u0142\u0119zi\u0105 logiki matematycznej. Zosta\u0142 za\u0142o\u017cony przez Davida Hilberta na pocz\u0105tku Xx To jest wiek. Hilbert zaproponowa\u0142 t\u0119 now\u0105 dyscyplin\u0119 matematyczn\u0105 podczas swojej s\u0142ynnej prezentacji 2 To jest Kongres Mi\u0119dzynarodowych Matematyk\u00f3w w 1900 r. W celu wykazania sp\u00f3jno\u015bci matematyki. Cel ten zosta\u0142 uniewa\u017cniony przez nie mniej znane twierdzenie o niekompletno\u015bci G\u00f6dela w 1931 r., Kt\u00f3re nie zapobieg\u0142y rozwojowi teorii demonstracji, w szczeg\u00f3lno\u015bci dzi\u0119ki pracy Jacquesa Herbranda i Gerharda Gentzena. Ten ostatni wykaza\u0142 jeden z g\u0142\u00f3wnych wynik\u00f3w teorii demonstracji, znany jako Hauptsatz (g\u0142\u00f3wne twierdzenie) lub twierdzenie o ci\u0119ciach. Gentzen nast\u0119pnie u\u017cy\u0142 tego twierdzenia, aby nada\u0107 pierwsz\u0105 czysto syntaktyczn\u0105 demonstracj\u0119 sp\u00f3jno\u015bci arytmetyki.        (adsbygoogle = window.adsbygoogle || []).push({});after-content-x4Po okresie spokoju, kt\u00f3ry nadal umo\u017cliwi\u0142 ustanowienie pewnej liczby innych wynik\u00f3w wzgl\u0119dnej sp\u00f3jno\u015bci i szkicowanie klasyfikacji teorii aksjomatycznych, teoria demonstracji do\u015bwiadczy\u0142a spektakularnego odrodzenia w latach 60. XX wieku w latach 60. XX wieku kt\u00f3ry wykazywa\u0142 nowy i g\u0142\u0119boki zwi\u0105zek strukturalny mi\u0119dzy logik\u0105 a informatyk\u0105: zasadniczo procedura ci\u0119cia okre\u015blona przez gentzen mo\u017cna postrzega\u0107 jako proces obliczeniowy, aby pokazy formalne sta\u0142y si\u0119 programami, kt\u00f3rych typ jest propozycj\u0105, kt\u00f3r\u0105 nale\u017cy wykaza\u0107. Od tego czasu teoria demonstracji rozwin\u0119\u0142a si\u0119 w \u015bcis\u0142ej symbiozie z innymi obszarami logiki i informatyki teoretycznej, w szczeg\u00f3lno\u015bci Lambda-Calculcul, i urodzi\u0142a nowe modele oblicze\u0144, najnowsz\u0105 jest logika liniowa Jean-Yves Girard W 1986 r. Dzi\u015b cz\u0119\u015b\u0107 teorii demonstracji jest mylona z semantyk\u0105 j\u0119zyk\u00f3w programowania i wchodzi w interakcje z wieloma innymi dyscyplinami logiki lub informatyki teoretycznej: (W) Bus S. R. (red.), Podr\u0119cznik teorii dowodu , Amsterdam, Elsevier, 1998. (W) A. S. Troelstra (W) , H. Schwichtenberg (1996). Podstawowa teoria dowodu . W serii Cambridge traktaty w teoretycznej informatyce , Cambridge University Press, (ISBN 0-521-77911-1 ) . Karim Nour, Ren\u00e9 David, Raffali Christophe Wprowadzenie do logiki: teoria demonstracji – poprawione kursy i \u0107wiczenia , wyd. Dunod. J.-Y. Girard, \u015alepy punkt , Lekcje logiczne , wyd. Hermann, Pary\u017c, kolekcja \u00abVisions des Sciences\u00bb:Tome 1: Do perfekcji , 280 s., Maj 2006 . Kursy w teorii demonstracji rozpoczyna si\u0119 od refleksji na temat obecnego stanu logiki (esencjalizm i egzystencjalizm, twierdzenie niekompletno\u015bci G\u00f6dela, obliczenia sekwencyjnego), kontynuuje korespondencj\u0119 curry-howard (system F, interpretacja kategorii), a nast\u0119pnie motywuje i opisuje logik\u0119 liniow\u0105 (sp\u00f3jne przestrzenie, system LL, sieci dowodowe). Tome 2: Do niedoskona\u0142o\u015bci , 288 s., Mars 2007 . Kurs trwa poprzez ujawnienie \u201ehipotezy polaryzacji\u201d (\u201eDesigns\u201d, \u201ePlayful\u201d i system\u00f3w LC I LLP ), nast\u0119pnie opisuje systemy eksperymentalny  Lll I \u0141okie\u0107 I \u201esp\u00f3jne przestrzenie kwantowe\u201d, a ostatecznie ko\u0144czy si\u0119 \u201egeometri\u0105 interakcji\u201d. J.-Y. Girard, P. Taylor, Y. Lafont, Dowody i typy , Cambridge University Press, 1989        (adsbygoogle = window.adsbygoogle || []).push({});after-content-x4"},{"@context":"http:\/\/schema.org\/","@type":"BreadcrumbList","itemListElement":[{"@type":"ListItem","position":1,"item":{"@id":"https:\/\/wiki.edu.vn\/all2pl\/wiki27\/#breadcrumbitem","name":"Enzyklop\u00e4die"}},{"@type":"ListItem","position":2,"item":{"@id":"https:\/\/wiki.edu.vn\/all2pl\/wiki27\/teoria-demonstracji-wikipedia\/#breadcrumbitem","name":"Teoria demonstracji – Wikipedia"}}]}]