Janb1969

Dołączył 30 cze 2017
Usunięte 7 bajtów ,  4 lata temu
brak opisu edycji
m (Dodaję nagłówek przed Szablon:Przypisy)
Nie podano opisu zmian
Wbrew pozorom liczba w moim nicku nie jest datą urodzenia. Po prostu 1969 to ważny rok w historii informatyki, związany m.in. z początkiem systemu [[Unix]] oraz pierwszymi transmisjami w sieci [[ARPANET]] pomiędzy [[Uniwersytet Kalifornijski|Uniwersytetem Kalifornijskim]] i [[Uniwersytet Stanforda|Uniwersytetem Stanforda]].
 
Powyższa uwaga dotyczy pozostałych danych osobowych. Na tym oraz kilku innych serwisach posługuje się fałszywą tożsamością, która jest skorelowanapowiązana z adresem <b>jan.bednarski1969@vfemail.net</b> i kluczem publicznym [http://keys.gnupg.net/pks/lookup?op=get&search=0x73BEC3B8124D127C 0x73BEC3B8124D127C]. Szyfrowanie korespondencji wysyłanej do mnie jest wysoce rekomendowane.
 
==Zainteresowania==
==Pierwsza edycja==
 
Pierwsza edycja, którą wykonałem dotyczyła [[Twierdzenie Gödla|twierdzenia Gödla]], w której to rozwinąłem oraz uźródłowiłem wcześniej zamieszczoną (i jak najbardziej trafną, choć lakoniczną) wzmiankę na temat częstych nieporozumień związanych z tym twierdzeniem. Wygląda na to, że część ludzi po zapoznaniu się z owym twierdzeniem przyjmuje zdecydowanie [[Antyintelektualizm|antyintelektualną]] postawę, w myśl której "istnieją pewne twierdzenia, których nie da się udowodnić" <ref>Taką dziwną opinie głosił m.in. Chaitin za co został przez pozostałychspołeczność matematyków ostro skrytykowany</ref>. Tymczasem prawda jest taka, że twierdzenie Gödla nie daje podstaw do wyciągania tak [[Irracjonalizm|wrogich rozumowi]] wniosków <ref>{{cytuj książkę |imię=Torkel |nazwisko=Franzén|tytuł=Gödel's Theorem: An Incomplete Guide to Its Use and Abuse|wydawca=A.K. Peters Ltd|data=2005|isbn=1-56881-238-8|strony=24}}</ref><ref>{{cytuj książkę |imię=Andrzej Stanisław |nazwisko=Mostowski|tytuł=Sentences Undecidable in Formalized Arithmetic: An Exposition of the Theory of Kurt Gödel |wydawca=Praeger|data=1952 |isbn=978-0313231513|strony=1}}</ref><ref>{{cytuj książkę |imię=Roger |nazwisko=Penrose|tytuł=The Road to Reality |wydawca=Vintage|data=2007 |isbn=9780679776314|strony=377}}</ref>. To co wiadomo na podstawie tego twierdzenia jest czymś zgoła przeciwnym i optymistycznym: jeżeli możemy udowodnić, że zdanie Gödla jest w ramach rozważanego formalizmu niedowodliwe to możemy również udowodnić, że jest prawdziwe <ref>Kurt Gödel: ''Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I.'' In: ''Monatshefte für Mathematik und Physik.'' 38, 1931, s. 176, [[doi:10.1007/BF01700692]], [http://www.zentralblatt-math.org/zbmath/search/?q=an:57.0054.02 Zentralblatt MATH.]</ref>.
 
== Zapoczątkowane przeze mnie artykuły ==