REKLAMA

Dlaczego Gödel nie wspomina o Tarskim?

OFF Czarek
Data emisji:
2019-01-15 11:00
Audycja:
Prowadzący:
Czas trwania:
38:19 min.
Udostępnij:

Kurt Gödel i Alfred Tarski. O dwóch wybitnych logikach opowiadał prof. Stanisław Krajewski.

AUTOMATYCZNA TRANSKRYPCJA PODCASTU

Transkrypcja podcastu
W studio gość, prof. Stanisław Krajewski z Instytutu filozofii Uniwersytetu Warszawskiego, dzień dobry, witam serdecznie, dzień dobry panu, dzień dobry państwu. Dzisiaj rozmawiamy, ale wczoraj ważne rocznice: po pierwsze jest to osiemnasta rocznica urodzin Alfreda Tarskiego, także czterdziesta pierwsza rocznica śmierci Kurta Gödela, no i rozumiem, że z tego też powodu 14 stycznia to światowy dzień logiki? Rozwiń »
Tak, to zostało wymyślone przez takiego go naszego kolegę logika logika z Brazylii żal i bez jego nazwiska francuskie, bo jest Francuzem i on wdrożyć zarząd propagować w kilkudziesięciu krajach na uniwersytetach uznano, że to jest świetny pomysł, żeby zdobył światowy dzień logiki 14 stycznia i również na Uniwersytecie Warszawskim wczoraj został ten dzień ono zaznaczone, że obchodzony.

Jak się obchodzi dzień logiki?

To trzeba było wymyślić, bo nie ma żadnych tradycji był pierwszy taki dzień prawda i nawiązuje szliśmy za ten sposób, że najpierw my też było kilka takich mini wykładów dla geeków z naszego Instytutu im przyszło kilkadziesiąt osób było bardzo przyjemnie o tym z czymś czym się zajmują, jaki w swoich tematach logicznych szerokim sensie, a potem jeszcze było takiej większe wypłaty mówi zresztą na temat godeł amatorski porównanie tych 2 osób pod pewnymi względami

Czyli dlaczego Gödel tak mało pisał o Tarskim?

Tak jest właśnie do o tym, ale niech pan wszystko wie na razie ma znakomite informacje nie prawie wszystko wiecie, dlaczego nie wiem i tutaj też nawiąże do przedmiotu naszego dzisiejszego spotkania, bo jeżeli państwo próbowali się zapoznać strojami Kurta, gdy dla i nie wychodziło państwu i ich dość państwo po przeczytaniu wszystkich tekstowi opracowanie wyjaśnień do tego, że no nijak nie mogę tego zrozumieć to proszenie martwicą państwo w doskonałym towarzystwie, bo teorii gier dla nie rozumiało ani Einstein ani Rasel no nie przesadzajmy jak, więc Orenstein, dlaczego miałby nie rozumie nie rozumiał za cholerę ani ani raz w nagłych zmian Pantery razem rzeczywiście pewien sposób nie nie tak niezrozumiały rada DGP, że rząd tego nie rozumiał bardzo ciekawy sposób rozległy się sprawa, ale na najważniejsze jest faktycznie żeby, żeby jakoś wytłumaczyć, o co chodzi o tym, twierdzeniu to da się dosyć jasno powiedzieć mi się wydaje ja spróbuję to zrobić jeśli bank pozwoli bardzo ważnego w razie ich dlatego zaczynam znajdzie coś jeszcze rok dla ich carskim po to, co 2 osoby na nią wszyscy oni przecież słyszeli kolega del Piero dziś w Brennie i potem studiowali pracował w Wiedniu, ale jest drużyny wtedy też mamy zrobić nazwałbym rzeczywiście poważna, bo oczywiście takim Niemcem czeskim ówczesnym cesarstwie austro-węgierskim i gaz może ją w Wiedniu funkcjonował w tym środowisku tzw. takiej no tej szkody wiedeńskiej szkoły Neo pozytywistycznej IAA, a potem przy jej tuż przed wojną wyjechał do Ameryki już potem przez całe życie był w Ameryce w tę instancję takim słynnym Instytucie studiów zaawansowanych dla największych naukowców z to jest rzecz opór także dla Darski się urodził 5 lat wcześniej, ale w zasadzie funkcjonował w tym samym czasie w Warszawie ją za to w Warszawie, ale będę też znalazł w Ameryce i stworzył tam właściwie najważniejszy ośrodek logiki matematycznej w Kaliforni z kolei także obaj zaczynali w w Europie i 111 drugi w Warszawie, a potem w Ameryce funkcjonowali nadal naj obala obaj nasi współtworzyli zasadniczy sposób decydujący sposób logikę matematyczną i też jest logika Anna w ogóle współczesna mitologia współczesna mogliście Legia ma swoje starożytne jeszcze źródła Arystoteles z takim podstawowym źródłem, a oprócz tego nosze zajmowano logiką w średniowieczu w Europie i później Leibniza jest też ważna osobą może, ale mi tutaj bawią, bo on jest istotny jeśli chodzi o tło twierdzenia gra dla rysi najmniej zmian w kątach mimo wizje czy bez marzenie, żeby prawda praw, żeby prawdziwe tezy dowodzić mało tego, żeby to, że da się sprawdziła zerwie powie, że prawdziwe dało się w sposób ścisły wypowiedzieć w pomocy na dostatecznie ścisłego języka najlepiej z używającego symboli i żeby ostatecznie to argumentacja za tym, że to zdanie jest prawdziwe miała charakter, jakby obliczania takiego tak jak się oblicza strachu rokuje prawda jakieś wzory i zdobyła ta wizja Leibniza siedemnastym wieku on, że prawda wielki filozof bardzo różnią się w stronę, czyli że prawdziwość da się sprowadzać do jakich dowody miłości takiej już bardzo namacalny taki właściwie rachunkowych w IT jest o tyle ważne, że to zostało potem podjęta na różne sposoby również przez ludzi zajmujących się zajmującymi się matematyką raczej razami podstawami matematyki w szczególności przez Freddy ego i Hilberta też Rosella i oni nas stworzyli cały system, w którym da się odtwarzać samą matematykę na cud, na który da się tłumaczyć matematykę systemy logiczne szerokim sensie ci są ścisłą z metody tworzenia zdań tworzenia tych formuł, które są poprawne poprawnie zbudowane w systemie IT i ścisłe określone metody przechodzenia jednych form do drugiej, czyli dochodzenia jednych na podstawie tego, że zakłada się te też inne mennice taki system powstanie było wyobrażenie może jak siedzący za dostatecznie rozbudujemy to wtedy prawdziwość w matematyce jeśli nie w ogóle ma w ogóle jest znacznie bardziej skomplikowana, ale w 2 sprawiła, że matematycy też sprowadzić do dowodu chciwości w ramach tego systemu nazwijmy to system systemu wszech obejmującego na temat dla całej matematyki na jego Dell pokazał, że tak się nie da po prostu no po prostu ja po prostu, ale to właśnie z tą wielkie osiągnięcie dodatkowo jeszcze z jego twierdzeniem można było też tak przez formułować, żeby pokazać ją to zrobił, że nie da się Dawid w sposób absolutnie pewnym, że przemoc zupełnie elementarnych naj, a nie wątpliwych metod, że ten system, który obejmuje matematykę jest sprzeczne, że w nim nie da się zna, ale nie da się wyprowadzi sprzeczności jakieś co oczywiście jest mało dla takiego systemu katastrof wraz z jak to ambicje jak to twierdzenie, że dla o o tym, mniej, a nie w zupełności inaczej żaden system nie obejmuje całej matematyki sformułować, więc najprościej można to powiedzieć w ten sposób ja dopowiem w sposób, który zrozumiałe dla ludzi współczesnych, którzy są już obeznani w HBO od znajomi z komputerami i programowaniem ludzie tak wolność za jakiś program komputerowy, który produkuje zdania arytmetyki elementarnej zdania, które mówią tylko o liczbach o dodawanie mnożenie liczb Józio mogą używać takich sformułowań jak dla każdej liczby napraw dla każdej liczby istnieje liczba zwiększa, która jest liczbą pierwszą, czyli nie dzieli się przez żadną liczbę poza nią samą jedynką i jedno to jest takie proste zdanie one prawdziwe jak wiemy, więc wyobraźmy sobie, że jest program, który produkuje po kolei zdania włącznie prawdziwe zdania takiej elementarnej arytmetyki wydaje się, że jak będzie dostatecznie ten program dobry odpisze wszystko co ważne jest jeśli chodzi o liczby to ten program będzie w stanie wyprodukować, działając nieskończenie długo wszystkie prawdy prawdziwe zdania arytmetyki elementarny Otóż gender pokazał, że tak nie jest nie ma programu, który produkuje wszystkie zdania prawdziwe arytmetyki elementarny przy założeniu żona produkuje wyłącznie prawdziwe zdania tej arytmetyki to dobre dla ido niego twierdzenia powrócimy po informacjach Radia TOK FM mi także do tej relacji pomiędzy Alfred tarski maku temu deblem wezmę fascynująca państwa mają gości jest prof. Stanisław Krajewski z Instytutu filozofii Uniwersytetu Warszawskiego informacje o godzinie 1120 już za kilka minut po informacje wracamy do programu off czarek państwa moim gościem jest prof. Stanisław Krajewski z Instytutu filozofii Uniwersytetu Warszawskiego dzisiaj kurtkę Dering Alfred tarski przed informacjami mówi pana twierdzeniu Wedla i właściwe tory od osób od o tym, czego nie udało się zrozumieć rozmawiam sta nowi, ale nie nieomal od tej zasadniczej sprawie, którą w sprawie Wronie rozumieli chodzi o to w jaki sposób się tego dowodzi na jakie są tego konsekwencje dodają oni tak jak też mieli inne ogólne założenia, że da powiem im inną gminę winnych ramach rozpatrywali tę całą sprawę przyznaje, że chodzi o to, że kiedy mówimy n p . że w 2 + 2 równa się 4 to to zdanie dotyczy relacji pomiędzy liczbami 22 i 4, a nie dotyczy zdania 2 + 124 to zdanie dotyczy licznych i relacji między liczbami natomiast jedno możemy to mogę powiedzieć zdanie o tym, zdaniu też to możemy się to co da zrobić jest to, że zdania o zdaniach wart, ale media są zdania, że ma też napary z 2 proc, ale nasze 4 albo dla każdej liczby istnień była większa od niej, która jest byłą pierwszą albo coś takiego jest zdania medyczne tworzą taki język armatki natomiast możemy oprócz tego mówić o n p . od tych od tych zdaniach mówić o tym, że 1 z tych zdań dają się wyprowadzić z innej z tych zdań i ten cały tzw. meta język tych tam takie punkty, a mówienie o języku arytmetyki o tym od wadliwości wart jest tej w języku arytmetyki to jest tzw. meta teoria i żoną i to jest to wielkie osiągnięcie dna czy ta metoda, którą denat zastosował, że te zależności to mówienie o zdaniach arytmetycznych możemy wyrazić zamiar mec, że każde zdanie arytmetyczne można na razie jako pewną liczbę co nie powinno być dla nas dziwne, bo ona się da prawda po prostu boso po kolei, jakie znaki w 2 prosimy o 2, a to znak równania 3 czworga Boyes i prawda kij kilka znaków i i co jeśli każdy zna Ponomariow jemy dostajemy z ciąg liczb waszą dziś można przedstawić jako 1 liczbę zakodować jako jedno liczba i w ten sposób każde zdanie staje się liczbą relacje między formułami stają się relacjami między liczbami to też można wszystko odpisać w związku z tym w ramach wewnątrz arytmetyki, a więc to jest metoda gett dla tzw. metoda, ale temat, ale arytmetyce akcji, ale od tego czasu jest stosowana powszechnie mało tego on do zrobiło się robi bardzo systematycznie Kenia zabito systematycznie, opisując po kolei jak kodować w ramach arytmetyki stwierdzenia o formuła kart medycznych i o dowodach arytmetyczne to on musiał zrobić to tak systematycznie MO, że stworzył pierwszy taki jak gdyby program i bogato z tak, że ta praca G-dur jest też początkiem całego tego myślenia, które doprowadziło do oprogramowania do drzwi do komputerów i ido, choć rząd nie było jego celem to to jest jedno z podstawowych źródeł ubodzy i nielogiczne, żeby tam raczej wiązała się potem to już przejęli nie tylko logice, ale informatycy nad uroczyście i kilkadziesiąt lat później z okazji mamy także dobre wiadomości, jeżeli chodzi dzięki deblowi mamy dobre wiadomości dotyczące naszego życia dzisiaj tak, bo dzisiaj takim zagadnieniem, które z rent, o których wszyscy pewnie słyszeliśmy 1 spędza sen zrodziła, ale na innych raduje sztuczna inteligencja no i teraz przemocy wiele można bardzo łatwo powiedzieć, że nigdy nie będzie maszyną, a maszyna nigdy nie będzie człowiekiem w sensie myślenia już się no to nie jest takie proza bardzo proszę panie profesorze niestety tak wiele z drogi lokalne w wielu wielu wybitnych wdrażane rozważnie nie widać uważa również rolę w razie plenerową z, ale to jest trochę bardziej skomplikowane i SA Gd to widział ale zanim różni inni i na razie zasadzie logice grozi tym zajmują uważają, że sprawa jest bardziej subtelna rzecz polega na subtelność Otóż na tym, że nie możemy wykluczyć na podstawie twierdzenia go dla samego wyłącznie twierdzenia, że nie możemy wykluczyć tego, że istnieje taki program czy, bo jest taki robot, który jest w stanie dowieść wszystkich i tylko tych zdań arytmetyczny, które my ludzie jesteśmy w stanie dowieść tego nie możemy wykluczyć, jednakże jeśli taki robot istnieje to nie bylibyśmy w stanie stwierdzić, że nie jest równoważny ludzkich zdolnością matematycznym to wynika z rdzenia GPU i nawet gdyby nam ktoś pokazał takiego robota, gdyby zima Rosjanie wyprodukowali takiego robota, ale co ją, by tak stanął przed nami cegiełki w wielkiej wannie 10 głów i w 1000 no np. coś no to mogłoby tak być przypadkiem, że te wszystkie zdania medyczne to nie stanie jest o dowieść stwierdzi, że są prawdziwe teraz akurat to samo co my jako ludzie bylibyśmy w stanie stwierdzić, że nie jest prawdziwe, ale no, ale nie było żadnej metody stwierdzenia, że akurat ta równoważność ma miejsce, że on jest w to samo mało tego nie byliśmy w stanie stwierdzić ani on ani my, że ta ogółu tych cech tych prawdziwych zdań jest niesprzeczny natomiast to ten zrost o tyle inny może nie ma racji, ale o tyle myśli sensownie i tak jak wszyscy normalni matematycy że, gdyby ten robot zaprogramowany sposób normalnie to znaczy na podstawie jakich może sporej liczby, ale i podstawowych założeń został zbudowany ten program, który dowodzi kolejnych testów w park tematyczny że, gdyby tak możemy taki normalny sposób to wtedy rzeczywiście to odwiedzenie go dla wyklucza istnienie czegoś takiego czy gdyby taki robot miał powstać to w zupełnie inne niż normalnie się buduje teorie matematyczne jest jakąś porażkę Ros wykluczył taką możliwość trochę nieświadomie na początku, a potem przez po torze upierał już, kiedy był świadomy tego tak myślę teraz bardzo wybitny umysł przecież to to dlatego mu wychodzi, że jedzenie dla wyklucza taką mechanizację umysł tymczasem no nie można całkowicie wykluczyć, ale nie, chociaż no, gdyby ona miała powstać z AK tak nieprawdopodobne, że w praktyce oczywiście inne absurdy ja w to nie wierzy nikt nie wierzy, ale ale, że to teoretycznie nie jest całkowicie wykluczone będą jednak uważał, że absolutnie dania wchodzi w grę, ale to było też jego ogólne założenia o naturze umysłu i o tym, że, że może zdaniem konieczność musi nastąpić jej mniej musi wynikać z jego twierdzeń plus jeszcze dodatkowego założenia, a tym dodatkowym założeniu jest to, że każde pro każdy problem po smart medyczne, które możemy postawić da się rozwiązać, dlatego że gdyby to mechaniczna część miała miejsce to pewien problem arytmetyczny mówiąc mianowicie problem czy jesteśmy sprzecznej z dnia sprzecznie wyrażone w odpowiednio wart matryca nie dałoby się rozwiązać i Anatomia jeśli wierzymy, że każdy blok nasze rozwiązania Godarda wierzył w to wierzy podobnie jak w i inni najwięksi matematycy tacy jak Hilbert inni mogą wtedy rzeczywiście jego stwierdzenie plus to dodatkowe założenie już tam daje nie ma konieczności umysłu przemysłem jest bardzo wielka szansa, że umysł nie da się w pełni z mechanizmem analizować natomiast oczywiście różne fragmenty działalności umysłowej Żyda zdetronizować to już doskonale wiemy, bo widzimy ile sztuczna inteligencja ta w praktyce funkcjonująca potrafi zrobić na znacznie więcej niż to się jeszcze dawniej nie niedawno wydawało, ale nie wszystko także inni musimy absolutnie się przejmować co niewątpliwie jest bardzo daleko od tego, żeby zastąpić człowieka maszyną czy mają ludzkie umiejętności umysłowe Przewozy maszyn komputerów programów robotów czegoś takiego, niemniej tak zupełnie trendów absolutnie rzecz biorąc samo twierdzenie go dla do tego nie wystarczy no dobrze, a czy da się dobrze zrozumieć, chociaż tak zbliżyć się do zrozumienia twierdzenia debla znaczy tych dowodów z ogrodu to za mało, by sformułowanie jest tak, że żaden program, który produkuje wprawdzie arytmetyczne nie nie wyprodukuje wszystkich praw warto też tak nawet gdyby działanie skończy niedługo w ASO łatwo teraz zrozumieć prawda zaraz jak to się tego, że dawać radość dowodzi, że tego nie wprost to znaczy zakładamy, że jest taki program pokazuje, że miasto prowadzi do sprzeczności, gdyby taki program był to dla niego konstruujemy pewne zdanie zdanie, gdzie na cześć dla prawda ja nazywam zdaniem GI, jakie konstruujemy też razem ta sprawa to jest oczywiście całego klubu to jest trudne i wymaga pewnej całej techniki i t d. ale konstruujemy zdanie, które będzie równoważne zdaniu, które mówią o tym, programie, które zakładam, że istnieje rada, że ten program nie produkuje GU ciem zdanie, gdzie jest równoważne zdaniu program, od którego chodzimy nie produkuje zdania GI czy wysoka taka antynomia kłamcy prawda, który ktoś mówi ja to co w tej chwili mówię skup kłamstwo tutaj chodzi o to, że to ten program mówi ja nie da się wyprodukować najwięcej ten program i konto Otóż naczyń plaża to zdanie mówi ja nie dam się wodować przez ten program to zdanie mówi Jerzy już mamy takie zdanie to wtedy, że z porządku mianowicie to zdaniem odkryto zdanie i jej nie jest mnie nie da się wyprodukować, ponieważ ono, gdyby się dało wyprodukować to jednocześnie ona, mówi że się nie da wyprodukować, a to zdaniem byłoby prawdziwe, bo tylko prawdziwe ten program produkuje, więc to było, gdyby mąż dał rodzaj to by się nie dało wyprodukować czy nie może żądać od coacha się nie da nie może dać wyprodukować to jest prawdziwe, ale nie jest produkowany czy pewne zdanie prawdziwe nie jest produkowane przez ten program, czyli kości to jest jak widać tak wygląda na taką zabawę, jaką grę trochę semantyczną jak przyjąć za nami kłamcy lub też, owszem, wszechmocy Boga, który nie jest ani otworzyć kamienia, żeby nie stać sam, bo np. w ale tym tutaj to jest zastosowanie takiej antenami natomiast jest to zupełnie ścisłe rozumowanie, ponieważ to zdanie da się naprawdę no wypisać okazują się pokazać, jakie skonstruować to jest ta cała robota jak dla technicznego, którą zrobiła życzę tego, że nie da opisać Radia w sposób łatwy, ale chodzi o to, że po kolei krok po kroku opisujemy wszystko, o czym są Formuły i AXN reform jest ono rozbudowane wszystko dopisują przy pomocy liczb i relacji między liczbami także ostatecznie i ostatecznie w bardzo sprytny sposób robimy także w produkujemy to zdanie, że tworzymy no wskazujemy jak stworzyć to zdanie, które mówi samo o sobie ja nie jestem produkowała realne przez ten program, od którego startujemy, a ten program to jest ten zesta w instrukcji mówiąc najogólniej inaczej, gdyż da się zapisać jako pewną liczbę wizja rozwoju to nie jest jeszcze w pełni zrozumiałe, bo nie może być na dno w taki sposób euro w kilku zdaniach radio, niemniej jednak na tym polega ta idea zasadę, że można podsumować także że, chociaż jak wierzymy sobie taką rolę takiego systemu, który formalizm Yard ma całą matematykę PS dowieziemy żony z nią sprzeczne jeśli go dobrze zrobiliśmy tak nam się wydaje Hilbert chciałam mieć dowód, że ten system jest sprzeczne ogrody pokazał dowód, że nie ma z absolutnego dowodu, że nie ma dowodu w sprzeczności w ramach tego systemu ci ludzie są kolejne stopnie komplikacje logiczne czy innymi słowy, by tak prosta to parząc je, że jeżeli chcemy się wypowiadać patologie systemu to muszę być od powyżej tego systemu rozporządzeń do góry z Marią często mówi to znaczy, jeżeli chcemy wiedzieć, że ten system jest niesprzeczny czy jest w nim nie ma wewnętrznej sprzeczności domu się, jakby coś wiedzieć o nim całym idą można powiedzieć, że przy PL do ciast czasem tak jest przy prostych systemach jak patrzymy z zewnątrz i mamy założenia jakieś zewnętrzne dostatecznie mocna, ale które mogą mieć sensowne jak najbardziej do przyjęcia to widzimy, że ten system, na które patrzymy jest sprzeczne, ale 7 z prezesem jest zrobić z kim ma dostatecznie duży taki, żeby nie mówić o o liczbach naturalnych mnożenie dodawanie i podstawowych w logiczny pojęcia to wtedy już z zewnątrz tego systemu on dowodem tego rząd jest sprzeczne nie da się przeprowadzić to jest 1 z forum czy 1 z konsekwencji stwierdzenia gada informacji zbliżają się po informacje będziemy rozmawiać o relacji znajomości kurtek dla i Alfreda Tarskiego w nerwach rozumiemy panowie się znali powieszę czytali spotykali rozmawiali dawna jest wart globalny rzadko wspomina pracę Darskiego w swoich pracach o zgonie cytuje rzeczone 1 jedyny raz w przeciwieństwie do tego, że tarski cytuje go dla najbardziej Nate zdania jest zagrożone tajemnica, dlaczego więc różne teorie dotyczące tej tajemnicy niosą pewną teorię tak w czasie hipotezy hipotezy do tych hipotez powrócimy po informacjach Radia TOK FM informacja 1140 prof. Stanisław Krajewski z Instytutu filozofii Uniwersytetu Warszawskiego z państwa i moim gościom dał w studio prof. Stanisław Krajewski z Instytutu filozofii Uniwersytetu Warszawskiego dzisiaj Kurc gadali Alfred tarski nie o nich rozmawiamy różnica urodzin 1 z i rocznica śmierci drugiego wczoraj rodziny Darskiego i śmierci dla przy okazji właśnie rozmawiając przed chwileczką doszliśmy z papierosem do we wniosku, że po sztucznej inteligencji Negredo także wypowiadać na temat konstytucji Otóż, kiedy mieszka już w stanach Zjednoczonych zdecydował się przyjąć obywatelstwo amerykańskie i Anny i zdawał egzamin na obywatelstwo to oczywiście z zakuć właściwie przeanalizować konstytucję Stanów zjednoczonych, ale też mają z mu umysł, jaki miał połączył to się w pewien system i przekonywał, że są egzaminatorów, że konstytucja amerykańska pozwala na zrobienie z tego kraju tyrani lokalność pozwala na jakieś dziwne nie niezamierzone konsekwencje tak ideę 1 z nich był taki tam jako jego kolega czy taki nie wiem, wprowadzając taki deszcz z słynne matematyk Morgenstern, który i on właśnie tam zaczął go kopać pod stołem, żeby Dante niesie to strona ma to oczywiście nadal był nieubłagany nie uzasadnił bałagan i konsekwentny no tak czy inaczej udało mu się udało został obywatel amerykański rząd nigdy potem już nie odwiedzi Austrię ośmio bardzo złą opinię Austrii Europie w ogóle nigdy już nie może to już nie przyjechał nawet na chwilę do Europy zawiodą też nie za bardzo dużo podróżował w ogóle, bo był raczej taki może taką osobą no mało ekspansywna dlatego zarówno wierzyciel jak to właśnie wie, że tylko swojej żonie na Grzegorza przygotowanie posiłków, więc jako na przednie odeszła to śmiech bardzo się problemy z żywieniem po prostu wykonać stosowną ewidencję cechy Barana idealne, którą wykazywała niestety nowe jest inna sprawa też dosyć ciekawa, bo niektórzy twierdzą że, że Paranoicy i mogą właśnie być bardzo logicznie właśnie, że to się łączyć, a że paranoi zdalne osobowości z bardzo logicznym mi osobowościami się normą pokrywają pokażmy, że są bliskie, dlatego że nocą to jest paranoja jest jakaś taka wizja świata co jest wewnętrznie spójna konsekwentna należało rozmijać ze świadczenia dostęp człowiek widzi zagrożenia czy jakieś rzeczy, których nie ma i na tym od nowej podstawie działa, więc z 2 takiego logika to jest zagrożenie, więc widać, że w 4 osoby o z życia oraz jej osobowość człowieka jego życie prywatne tak dalej to może być 1 rzecz osiągnięcia naukowe co innego niekoniecznie jednak będzie w parze z drugim no tak to bywa ono to też jest pełna lekcja dla nas wszystkich miast carskiej było raczej taką osobą chociażby z wielkim magikiem inny bardzo o 2 wydano z bliskimi bliską życiu i i rozumiejącym sprawy wszelkie relacje między nimi były bardzo ciekawe to znaczy z 1 strony nie byli blisko 1930 roku, gdy się spotkali w Wiedniu po raz pierwszy Night i rozmawiali z opatem przebyli w kontakcie przez cały czas listowne od razu wzrosły też osobistym jak kiedyś raz w życiu Broda badałem archiwa czegokolwiek źródło archiwum Darskiego wygląda są banki offline rodzic nie nie warsztacie SBR kolej i tam, przeglądając archiwum i tam, bo był zeszyt wycieczek Darski opisywał jak jak i jechał pociągiem czy wspominanie opisał go wspominał, że jechał pociągiem razem z Grodnem i jego żoną z nowego Jorku do Bostonu SMS-em, bijąc je w kontakcie no i droższe niż umownie kontaktowali strach naukowych na różne sposoby, ale zarząd ciekawą taką dość tajemniczo jest to, że właśnie, o ile Darski wspominał pracę Wedla jako podstawowe i dla niego ważne inspirujące, do których się odwoływał wprost niemalże każdej swojej publikacji no, chyba że dotyczy jakichś innych spra w w to co gadać właściwie nie wspomina o prawie nigdy carskiego w Gniewczynie cytuje nie cytuje pasterskiego, chociaż czasem co wydawałoby się potrzebne to znaczy, że po osiemnastym zarząd, aby jakoś no trochę upłynnienie może tak powiem argumentację spowodowało, że było na podrożeć o opis form może nie lepiej sformułowana byłoby dla wszystko jest dopracowany SOS idealny, ale nabyłaby byłoby prościej ją pewne rzeczy wyrazić not tak jest n p . w definicji zbiorów konstruowane, że coś takiego leżą zwały techniczne, więc trudno mi nie wchodzić w nie mniej gadać tego nie robią jest wielkie pytanie, dlaczego są różne hipotezy począwszy od tego rząd właściwie przedtem sam to zrobił to co carski, więc nie widział powodu, żeby się powołać Kerskiego wiarą w gruncie rzeczy to zrobił, chociaż tego nie pójdą opublikował w ale nie wszystko, żeby inne niż inni w takiej wolności jak carski poprzez lekkie obrażenia, że pojęcie prawdziwości jako takie ogólne pojęcie trochę nieuchwytne było traktowane podejrzliwie przez techno pozytywistów z koła wiedeńskiego w latach 30 w i będę się do tego stosował i jakoś potem dalej już tak było to znaczy nie uważał, że należy, że należy mówić o leżak dostatecznie konkretnych Ania takich ogólnych sprawach jak prawda w ogóle, ale z drugiej strony uważa, że prawda w ogóle to jest właśnie ważne ważne pojęcie mnożenia da się go z w sposób ścisły w razie gdy na start to co głównie za jest z tego jest równie znany poza różnymi marzeń osiągnięciami często matematycznymi, ale tak bardziej filozoficznie zdamy z tego, że stworzył teorie formalną teorie raz prawdziwości teoriach no tych w taki sformalizowany co się mówi czy tak właśnie jak mam te teorie, które służą jako podstawa do różnych rozważań w tym po logicznego bądź informatycznego ją stworzyłem teorię co jest tam taką definicję prawdziwości ona jest powszechnie stosowana tego czasu, a potem stworzył całą tzw. teorię model czy on inni Alan jest 1 z głównych twórców tej takiego podejścia, w którym się myśl o tym, że jest język Gdańsk ma różne interpretacje czy różne modele przyjadą są różne możliwe świadczy wysoka wizja, że są różne możliwe świat jako czymś mówimy to chcemy mówić, jakim świecie tak naprawdę mówimy, chcąc uniknąć różnych możliwych świata, które pasują do tego co w wyrażam i to jest ta wizja wielu światów wielu możliwych światów wysoka ogólna filozoficzna wiza strona wyraźnie gorsze nie zgadza, gdy za głowę taka hipoteza jest najgłębszy powód, dla którego cała program tzw. program semantyczne Warskiego wzrost dla odrzucano uważał tak jak no prawda w bawełnę większość z państwa, że jest tylko 1 świat i mówimy w sposób mniej lub bardziej ścisła o tym, świecie oczywiście na różne sposoby można mówić, ale jest 1 świat dla zgoda to był 1 świat zarówno fizycznej i świat 72 w atrakcyjnych obiektów matematycznych liczb zbiorów tak dalej jest 1 świat w nim się jakość sprawy mają albo możemy do tego dotrzeć albo nie docieramy albo jeszcze nie docieramy, ale w każdym razie jest 1 świat aniżeli możliwy świat i to rozróżnienie między myśleniem, że z 1 świat i różne niedoskonałe języki, żeby opisywać ten świat, a z drugiej strony myślenia stylu carskiego, że jest są języki, ale każdy język opisuje nie tylko to co chciałoby, ale też różne inne możliwe światy i są całe twierdzenia, które mówią o tym, że wie może cokolwiek to jednocześnie to coś może być jakimś innym światem zupełnie innym od tego o które musielibyśmy mówić o złym, że są też jest zestaw z wielu światów żądać 2 zasadnicze i sprzeczne ze sobą podejścia filozoficzne naiwnie też do jej rozstrzygnąć sprawę, że 1 zdobył drugie złe, że na zakaźnym są jakieś poważne argumenty i każdy jej istnienia we współczesnej myśli my też co z tą matematyką czy to jest także to człowiek potęgą swego umysłu stworzył matematykę liczby zasady czy to jest także ornatów w jaki sposób zawsze była, a my przy pomocy umysłu ją odkrywamy to jest bardzo dobre pytanie i na, toteż nie ma dobrej odpowiedzi to znaczy wszyscy matematycy, którzy zajmują się matematyką liczbami przestrzeniami funkcjami czymkolwiek uważają, że to coś jest ten świat jest i my próbujemy tam zobaczyć jak w nim się sprawy mają jest powoli do niego docieram przyznano odkrywamy prawdę matematyczne każdy ma do matek tak uważa, ale zaczynamy pytać matematyka no dobrze ale gdzie ten świat jest na czym polega, jakby jedno, jaka jest istota tych Bytów to właściwie nie bardzo wiadomo co na to odpowiedzieć no i niektórzy powiedzą no wozu tak konsekwentnie gadał do nich znaleziono oczywiście to jest taki świat przedmiotów abstrakcyjnych też mój świat platońskie, czyli takich idealnych obiektów, ale ona, ale większość ludzi powie nam, że to jest jednak taka trochę dziwna idealną w nim bez nauki do Sejmu uważa, że cokolwiek takiego istnieje carski do nich należał zresztą uważa, że tak naprawdę jeśli o to pytamy no to nie istnieje język nasze wyobrażenia mówimy o czymś co sobie wyobrażamy na 1 z serem to są też sprzeczne podejścia, że no i 31 SOM jest takie dobre powiedzenie, że matematycy jak w dzień powszedni spytać czy to oni powiedzą, że oczywiście te przedmioty istnieją jak dzień świąteczny, gdy odpoczywają w pracy mogą się prawda bardziej wprost na nią spojrzeć na to z zewnątrz zapytać czy te przedmioty matematyczne istniejące powiedzą, że raczej nie przymierzając dzień powszedni są w są jak to się mówi bratanicy Stanami, a dzień świąteczny forma listami, że jest nią tylko Formuły Anię Anię to co im odpowiada i że rzeczywiście trochę trudno jest wyjść poza i 1 i drugie trzeba traktować równie poważnie w moim przekonaniu to jest, więc albo ma 7 gwiazd jest sprzeczne koncepcje jednocześnie albo jedno można wprowadzić wyjść poza niej powiedzieć, że tak naprawdę to nie jest pytanie, na które warto odpowiadać istniejące obiekty te liczby czy nie istnieją, że one w jakimś sensie istnieją, ale w niezwykły sposób istnienia tak jak w tym obiektów fizycznych, a nawet takich obiektów abstrakcyjnych, które na, których i innych, o których możemy mówić my np. na sprawdzenie czy sprawiedliwość istnieje ono jest jest mówiła sprawiedliwości nie raz i to jest bardzo ważne, że mówię o tym, czym wobec tego trudno byłoby różne rzeczy zarażać no ale ostatecznie zawsze chcemy mówić pewne jest konkretnych sytuacjach to samo tutaj mówimy o liczbach, ale raczej chcemy udzielić konkretnych relacjach między drzewami niż jesteśmy matematyka ami, a nie w liczbach w ogóle z decyzją filozofowie mówią o liczbach jako takich, ale właśnie są w nieunikniony sposób podzieleni na kilka różnych koncepcji, czyli to trochę język, który wynika z zagadnienia, które się zajmujemy determinuje też sposób komunikacji i tych idei czasem mamy różne podmioty, które używają podobnego języka czy tak samo brzmiącego języka, ale mówią o zupełnie innych rzeczach, bo ten świat, w którym opisują w język, którym opisał świat się zajmują jest innym światem niższy taki sam język, gdy kogoś innego można powiedzieć tak to znaczy i niemal zrównał się na plac to też konkretnym gruncie nie ma różnic nie ma sprzeczności natomiast jak przy interpretacji co to właściwie znaczy się pojawiają różnice też matematyce tak bardzo mogą współpracować z matematyki z całego świata w ogóle nie ma problemu natomiast przy interpretacjach co to właściwie znaczy się problemy pojawiają się zasadnicze, bo są zupełnie sprzeczne interpretacje, ale to nie wszystko naczynie wiem ile mam jeszcze czasu ma to jest dobre pytanie w filozoficzne w kosza co powiedzieć że, że te twierdzenia o godle też w po nas to tylko trochę w stronę czegoś co można nazwać zaś wielu moich kolegów rozwój tego nie lubiło postmodernizm to znaczy, że jednak istnieją różne teorie matematyczne, by wszyscy chyba słyszeli o tym, że jest nią geometrii nieeuklidesowej prawda jest blade, jakby pokazał, że istnieją też w ramach każdej właściwie rozwinięty trochę teorii matematycznej istnieją też różne możliwe drogi prawda sposoby rozwijania teorii i w ten sposób, iż czyta Absolut też matematyki jest właściwie zakwestionował i to jest bardzo ciekawa konsekwencja to się nie znaczy, że te rozważania ma 2, że są mniej ścisłe czy mniej pewne niż były nie one są tak samo rzecz pewna, ale nie ma już tak te założenia, które się czy nie są tak absolutne i to przejście Nowaka kiedyś prawda, bo przyjeżdżali rzeczywistej woli zespolonych ci, którzy się tego rzeczą Żyda wiedzą, o co chodzi no jest dla nas oczywiste religia pozwala sądzić Biennale czy jakieś przejścia następna liczb zespolonych do kwatery mionów albo liczyć komu ja cokolwiek to jest to samo jest przejście do jakich liczb w szerszym sensie tego nie wiemy nie ma dobrej odpowiedzi widać, że jednak takie kulturowe uwarunkowania matematyki jest to rzecz rzeczą bardzo ważna niezależnie od tego, że jest pewna, więc na dach paczkami na obiektywną to znaczy nie nie przyzna żaden sposób określana materia, do której się musimy dostosować jeśli robimy coś matematyczne w międzyczasie Szanowni państwo może sobie wpisać 14 stycznia czternastego czternasty 2 stycznia, czyli wczoraj, ale to, że za rok jako światowy dzień logiki chwili być przygotowanym bardzo dziękuję prof. Stanisław Krajewski z Instytutu filozofii Uniwersytetu Warszawskiego był państwem gościem dziękuję bardzo mi informacji już za kilka minut o godzinie dwunastej po informacjach Mikołaj Lizut jego programy dzisiejszy przygotował Paweł Ziętara nad jakością czuwał Krzysztof
Zwiń «

PODCASTY AUDYCJI: OFF CZAREK

Więcej podcastów tej audycji

REKLAMA

POPULARNE

REKLAMA

DOSTĘP PREMIUM

Słuchaj podcastów TOK FM bez reklam. Teraz wszystkie pakiety TOK FM Premium 40% taniej!

KUP TERAZ 40% taniej

SERWIS INFORMACYJNY

REKLAMA
REKLAMA
REKLAMA
NULL
Array