Wikipedysta:Janb1969: Różnice pomiędzy wersjami
Nie podano opisu zmian |
ort. |
||
| Linia 7: | Linia 7: | ||
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]]. |
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 |
Powyższa uwaga dotyczy pozostałych danych osobowych. Na tym oraz kilku innych serwisach posługuję się fałszywą tożsamością, która jest powią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== |
==Zainteresowania== |
||
Wersja z 15:53, 8 sty 2022
| ||
| ||
| ||
| ||
| ||
| ||
| ||
|
UserScan: utworzone • licznik • uprawnienia • wkład • rejestr • blokady • globalny wkład (uprawnienia i blokady w innych projektach) • przesłane pliki
|
Janb1969 jest jednym z redaktorów polskojęzycznej Wikipedii (sprawdź). |
Dane osobowe oraz dane kontaktowe
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 Uniwersytetem Kalifornijskim i Uniwersytetem Stanforda.
Powyższa uwaga dotyczy pozostałych danych osobowych. Na tym oraz kilku innych serwisach posługuję się fałszywą tożsamością, która jest powiązana z adresem jan.bednarski1969@vfemail.net i kluczem publicznym 0x73BEC3B8124D127C. Szyfrowanie korespondencji wysyłanej do mnie jest wysoce rekomendowane.
Zainteresowania
Moje zainteresowania to głównie matematyka, informatyka i filozofia a najbardziej to co znajduje się na przecięciu tych trzech dziedzin.
Pierwsza edycja
Pierwsza edycja, którą wykonałem dotyczyła 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 antyintelektualną postawę, w myśl której "istnieją pewne twierdzenia, których nie da się udowodnić" [1]. Tymczasem prawda jest taka, że twierdzenie Gödla nie daje podstaw do wyciągania tak wrogich rozumowi wniosków [2][3][4]. 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 [5].
Przypisy
- ↑ Taką opinie głosił m.in. Gregory Chaitin za co został przez społeczność matematyków ostro skrytykowany
- ↑ Torkel Franzén: Gödel's Theorem: An Incomplete Guide to Its Use and Abuse. A.K. Peters Ltd, 2005, s. 24. ISBN 1-56881-238-8.
- ↑ Andrzej Stanisław Mostowski: Sentences Undecidable in Formalized Arithmetic: An Exposition of the Theory of Kurt Gödel. Praeger, 1952, s. 1. ISBN 978-0313231513.
- ↑ Roger Penrose: The Road to Reality. Vintage, 2007, s. 377. ISBN 978-0-679-77631-4.
- ↑ 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, Zentralblatt MATH.