{"id":12097,"date":"2022-11-12T10:27:53","date_gmt":"2022-11-12T09:27:53","guid":{"rendered":"https:\/\/vived.io\/?p=12097"},"modified":"2022-11-14T08:55:17","modified_gmt":"2022-11-14T07:55:17","slug":"krypto-jak-zwykle-innowacyjne-spolecznosc-odkrywa-panike-bankowa-software-craftsmanship-weekly-111","status":"publish","type":"post","link":"https:\/\/vived.io\/pl\/krypto-jak-zwykle-innowacyjne-spolecznosc-odkrywa-panike-bankowa-software-craftsmanship-weekly-111\/","title":{"rendered":"Krypto jak zwykle innowacyjne: spo\u0142eczno\u015b\u0107 odkrywa Panik\u0119 bankow\u0105 – Software Craftsmanship Weekly #111"},"content":{"rendered":"\n

1. Historia matematyki z Vived, czyli o tym jak dziwnym konceptem jest niesko\u0144czono\u015b\u0107<\/h2>\n\n\n\n

Zaczniemy od ma\u0142ego Coming Out – Vived.io<\/a> to polska aplikacja \ud83c\uddf5\ud83c\uddf1. Te s\u0142owa pisz\u0119 zreszt\u0105 do Was z urlopu powodowanego d\u0142ugim weekendem – 11 listopada odbywa si\u0119 u nas \u015awi\u0119to Niepodleg\u0142o\u015bci. St\u0105d te\u017c stwierdzi\u0142em, \u017ce ca\u0142o\u015b\u0107 musz\u0119 otworzy\u0107 w jaki\u015b nietypowy spos\u00f3b. Dlatego te\u017c poopowiadamy sobie o najwi\u0119kszym osi\u0105gni\u0119ciu polskiego dwudziestolecia mi\u0119dzywojennego.<\/p>\n\n\n

\n
\"\"
Tak, b\u0119dzie matma! Jak macie PTSD – przejd\u017acie do kolejnej sekcji.<\/figcaption><\/figure><\/div>\n\n\n

Matematyk ze mnie \u017caden, ale absolutnie uwielbiam to, co dzia\u0142o si\u0119 z kr\u00f3low\u0105 nauk ko\u0144cem XIX i w pierwszej po\u0142owie XX wieku. Z jednej strony m\u00f3wimy tutaj o takich podwalinach do informatyki jak teoria zbior\u00f3w czy Lambda Calculus. Z drugiej – na ten okres przypada dzia\u0142alno\u015b\u0107 ostatnich ludzi, kt\u00f3rych bezdyskusyjnie okre\u015bli\u0107 mo\u017cna jako „renesansowych”, jak Bertrand Russell, autor Principia Mathematica (kt\u00f3ry zreszt\u0105 te\u017c przyczyni\u0142 si\u0119 do rozwoju programowania dzi\u0119ki swojej opas\u0142ej Teorii Typ\u00f3w), ale r\u00f3wnie\u017c filozof, znany z eksperymentu my\u015blowego nazwanego „czajniczkiem Russella<\/a>„.<\/p>\n\n\n

\n
\"\"<\/figure><\/div>\n\n\n

Z trzeciej za\u015b strony mieli\u015bmy okazj\u0119 mieli\u015bmy te\u017c do czynienia z tak fascynuj\u0105ce teorie, jak Twierdzeniem o Niedowodliwo\u015bci Niesprzeczno\u015bci G\u00f6dla<\/a> (angielskie „G\u00f6del’s incompleteness theorems” brzmi chyba ciut lepiej \ud83d\ude09), czy te\u017c Paradoks Banacha-Tarskiego, kt\u00f3rym b\u0119d\u0119 chcia\u0142 si\u0119 teraz zaj\u0105\u0107.<\/p>\n\n\n\n

Stefan Banach i Alfred Tarski byli wybitnymi przedstawicielami Lwowsko-Warszawskiej Szko\u0142y Matematyki, kt\u00f3rzy zajmowali si\u0119 logik\u0105, a r\u00f3wnie\u017c dziedzin\u0105 matematyki znan\u0105 jako Teoria Miar. Nie dajcie si\u0119 zwie\u015b\u0107 tej nudnej nazwie – zajmuje si\u0119 ona r\u00f3wnie\u017c poj\u0119ciem niesko\u0144czono\u015bci. A ka\u017cdy kto kojarzy np. Niesko\u0144czony Hotel Hilberta<\/a> wie, \u017ce jest to temat fascynuj\u0105co wr\u0119cz z\u0142o\u017cony. Nikt chyba jednak nie dotkn\u0105\u0142 jego nieogranialno\u015bci tak dog\u0142\u0119bnie, jak polscy matematycy. Udowodnili oni bowiem, \u017ce cia\u0142o sta\u0142e – kula – mo\u017ce by\u0107 rozebrana na niesko\u0144czenie wiele kawa\u0142k\u00f3w, kt\u00f3re nast\u0119pnie mog\u0105 by\u0107 ponownie u\u017cyte w celu utworzenia kuli dwa razy wi\u0119kszej od oryginalnej \ud83d\ude26. Zaintrygowani? Je\u015bli tak, to mam dla Was przyst\u0119pne wideo z kana\u0142u VSauce<\/a>, kt\u00f3re rozk\u0142ada ca\u0142o\u015b\u0107 na czynniki pierwsze i pokazuje, gdzie tkwi\u0142 geniusz polskich matematyk\u00f3w.<\/p>\n\n\n

\n
\"\"
Wersja uproszczona Paradoksu<\/figcaption><\/figure><\/div>\n\n\n

A je\u015bli wideo to b\u0119dzie dla Was za ma\u0142o, polecam lektur\u0119 ksi\u0105\u017cki The Pea and Sun<\/a><\/strong>, kt\u00f3ra pomo\u017ce Wam przej\u015b\u0107 przez d\u0142ug\u0105 drog\u0119 od prostej arytmetyki do zrozumienia, dlaczego Paradox Polak\u00f3w jest tak fascynuj\u0105cy.<\/p>\n\n\n

\n
\"\"
A jak ju\u017c przy ksi\u0105\u017ckach jeste\u015bmy – mam 11 listopada (robi\u0119 to w w zasadzie co roku) zwyczaj „reczytania” Xavrasa Wy\u017cryna<\/a><\/strong> autorstwa Jacka Dukaja. Jeden z najlepszych tekst\u00f3w polskiej fantastyki – mam nadzieje, \u017ce kiedy\u015b doczeka si\u0119 t\u0142umaczenia, aczkolwiek jest chyba na to za bardzo „polski”<\/figcaption><\/figure><\/div>\n\n\n

\u0179r\u00f3d\u0142a<\/h3>\n\n\n\n