{"id":74135,"date":"2014-04-04T12:17:48","date_gmt":"2014-04-04T16:17:48","guid":{"rendered":"http:\/\/www.bibula.com\/?p=74135"},"modified":"2014-04-04T12:17:48","modified_gmt":"2014-04-04T16:17:48","slug":"okecie-zacznijmy-od-poczatku-program-brouwera","status":"publish","type":"post","link":"https:\/\/www.bibula.com\/?p=74135","title":{"rendered":"OK\u0118CIE – Zacznijmy od pocz\u0105tku: Program Brouwera"},"content":{"rendered":"

W matematyce s\u0105 dowody konstruktywne i tzw. dowody nie-wprost (a contrario<\/em>).\u00a0 Te drugie nie\u00a0 podaj\u0105 rozwi\u0105zania, ale pokazuj\u0105, \u017ce przy pewnych za\u0142o\u017ceniach, rozwi\u0105zania nie ma, albo jest tylko jedno, ale nie potrafi\u0105 wskaza\u0107 jak to jedno jedyne rozwi\u0105zanie skonstruowa\u0107.\u00a0 Holenderski matematyk, L. E. J. Brouwer zaproponowa\u0142 program aby oprze\u0107 matematyk\u0119 tylko na dowodach konstruktywnych czyli dowodach wprost. Niekt\u00f3rzy, nie ca\u0142kiem sprawiedliwie nazwali to odrzuceniem\u00a0 „prawa wy\u0142\u0105czonego \u015brodka”.\u00a0 Innymi s\u0142owy, Brouwer nie zaakcepto<\/em>wa\u0142 wszystkich kanon\u00f3w logiki Arystotelesa.\u00a0 Czy jego program\u00a0 umar\u0142 \u015bmierci\u0105 naturaln\u0105?\u00a0 Mo\u017ce jaki\u015b logik czy matematyk tu na Salonie24 m\u00f3g\u0142by napisa\u0107 co program Brouwera osi\u0105gn\u0105\u0142.\u00a0 Czy s\u0105 twierdzenia, kt\u00f3re do tej pory nie mog\u0105 by\u0107 udowodnione wewn\u0105trz programu Brouwera, kt\u00f3ry te\u017c zwany jest „intuicjonizmem”.\u00a0<\/b> A je\u015bli s\u0105 takie, to kt\u00f3re?\u00a0 To jest wa\u017cne pytanie.
<\/b><\/p>\r\n

Teraz Ok\u0119cie.\u00a0 Skonstruujmy t\u0119 katastrof\u0119 w Smole\u0144sku.\u00a0 Zgodnie z Brouwerem musimy zacz\u0105\u0107 od poczatku.\u00a0 Stoi samolot na Ok\u0119ciu. Ludzie przyje\u017cd\u017caj\u0105.\u00a0 Wsiadaj\u0105. \u00a0Samolot odlatuje.\u00a0 P\u00f3\u017aniej s\u0105 wiadomo\u015bci w telewizji i radio; pokazuje si\u0119 i m\u00f3wi si\u0119 nam, \u017ce samolot si\u0119 rozbil i wszyscy co w nim byli zgin\u0119li.\u00a0 Jak L. E. J. Brouwer podszed\u0142by do tego problemu?\u00a0 Nie poprzez rozumowanie do ty\u0142u, czyli zgin\u0119li, wi\u0119c wylecieli, ale zapyta\u0142by si\u0119 czy wylecieli i kiedy.\u00a0 Nie kwestionowa\u0142by czy zgin\u0119li ale chcia\u0142by wi<\/em>edzie\u0107 jak i kiedy i czym i kto.\u00a0 To s\u0105 cztery pytania dotycz\u0105ce Ok\u0119cia 10 kwietnai 2010 roku. \u00a0Kto odlecia\u0142? Czym odlecia\u0142? Kiedy odlecia\u0142?\u00a0 Czy by\u0142 \u017cywy jak odlatywa\u0142?<\/p>\r\n

Dla wi\u0119kszosci poddanych przer\u00f3bce medialno-propagandowej te pytania nie maj\u0105 sensu.\u00a0 Ale dlaczego?\u00a0 Kto z tych „obrobionych” widzia\u0142 odlot, a je\u015bli co\u015b widzia\u0142 to dlaczego akurat wierzy, \u017ce to co mu pokazano to by\u0142 ten odlot; kto widzial pasa\u017cer\u00f3w na Ok\u0119ciu;\u00a0 dlaczego zdj\u0119cie z L.K. z wn\u0119trza samolotu jest ewidentnym fotoszopem?; kto, co, gdzie, kiedy…\u00a0 Gdzie s\u0105 ta\u015bmy z monitoringu?\u00a0 Zapewne by\u0142y.\u00a0 Ale ich nie ma. \u00a0Bloger Wszolek (jego ostatnia notka) si\u0119 na ta\u015bmy powo\u0142uje, ale ich nie widzia\u0142.\u00a0 On wierzy.\u00a0 On wierzy w prawo wy\u0142\u0105czonego \u015brodka. Nie, \u017ce on o takim prawie s\u0142ysza\u0142, tego nie twierdz\u0119.\u00a0 On nie chce wiedzie\u0107 jak by\u0142o.\u00a0 On nie chce dokona\u0107 konstrukcji wydarze\u0144 z 10 kwietnia 2010. On chce si\u0119 zaj\u0105\u0107 ostatnimi sekundami czy milisekundami nad Smole\u0144skiem.\u00a0 Nad Smole\u0144skiem, ale czego?\u00a0 Brouwer tak by si\u0119 zapyta\u0142.\u00a0 Jemu jeszcze nikt nie pokaza\u0142 ani zademonstrowa\u0142, \u017ce jaki\u015b samolot z 97 czy 98 osobami odlecia\u0142?<\/p>\r\n

To o Smolensku z inspiracji Luitzena Egbertusa Jana Brouwera (luty 27, 1881 – grudzien 2, 1966), jednego z najwa\u017cnieszych i najodwa\u017cniejszych matematyk\u00f3w XX wieku.<\/p>\r\n

Ta notka zosta\u0142a zainspirowana (jak\u017ce nieadekwate s\u0142owo – powinno by\u0107 sprowokowana) notk\u0105 niejakiego Wszolka pt. „Co mam my\u015blec o Smole\u0144sku”<\/span>.<\/a>\u00a0 Sam tytu\u0142 jego notki brzmi jak auto-de-f\u00c3\u00a9 zagubionego w procesie inkwizycji.<\/p>\r\n

nasz wojtek<\/em><\/strong><\/p>","protected":false},"excerpt":{"rendered":"W matematyce s\u0105 dowody konstruktywne i tzw. dowody nie-wprost (a contrario).\u00a0 Te drugie nie\u00a0 podaj\u0105 rozwi\u0105zania, ale pokazuj\u0105, \u017ce przy pewnych za\u0142o\u017ceniach, rozwi\u0105zania nie ma, albo jest tylko jedno, ale nie potrafi\u0105 wskaza\u0107 jak to jedno jedyne rozwi\u0105zanie skonstruowa\u0107.\u00a0 Holenderski matematyk, L. E. J. Brouwer zaproponowa\u0142 program aby oprze\u0107 matematyk\u0119 tylko na dowodach konstruktywnych czyli […]","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_acf_changed":false,"_monsterinsights_skip_tracking":false,"_monsterinsights_sitenote_active":false,"_monsterinsights_sitenote_note":"","_monsterinsights_sitenote_category":0,"ngg_post_thumbnail":0,"footnotes":"","_wp_rev_ctl_limit":""},"categories":[139],"tags":[92,137],"acf":[],"_links":{"self":[{"href":"https:\/\/www.bibula.com\/index.php?rest_route=\/wp\/v2\/posts\/74135"}],"collection":[{"href":"https:\/\/www.bibula.com\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.bibula.com\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.bibula.com\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.bibula.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=74135"}],"version-history":[{"count":0,"href":"https:\/\/www.bibula.com\/index.php?rest_route=\/wp\/v2\/posts\/74135\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.bibula.com\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=74135"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.bibula.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=74135"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.bibula.com\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=74135"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}