{"id":6,"date":"2016-06-08T18:59:43","date_gmt":"2016-06-08T16:59:43","guid":{"rendered":"http:\/\/calculemus.org\/fi2\/?page_id=6"},"modified":"2016-10-25T07:50:39","modified_gmt":"2016-10-25T05:50:39","slug":"referaty","status":"publish","type":"page","link":"https:\/\/calculemus.org\/fi2\/referaty\/","title":{"rendered":"Referaty"},"content":{"rendered":"<p>Referaty zg\u0142oszone na Konferencj\u0119 s\u0105 zestawione ni\u017cej, zgodnie z kolejno\u015bci\u0105 alfabetyczn\u0105 nazwisk ich autor\u00f3w.<br \/>\nZ anonsami referat\u00f3w mo\u017cna zapozna\u0107 si\u0119 po klikni\u0119ciu w symbol <img decoding=\"async\" src=\"http:\/\/calculemus.org\/fli\/wp-content\/stb-themes\/stb-light\/plus.png\" alt=\"\" \/> z prawej strony.<br \/>\nJe\u015bli opr\u00f3cz anonsu jest dost\u0119pny szerszy od niego abstrakt, na ko\u0144cu anonsu jest wy\u015bwietlany link <strong>Abstrakt<\/strong>.<\/p>\n<div class='stb-container stb-style-anons stb-caption-box stb-no-caption stb-collapsed'><div class='stb-caption'><div class='stb-logo'><img class='stb-logo__image' src='' alt='img'\/><\/div><div class='stb-caption-content'>Andrzej Bielecki (AGH): &lt;em&gt;Epistemologiczne znaczenie modeli matematycznych i symulacji komputerowych w pewnych procesach neurofizjologicznych.&lt;\/em&gt;<\/div><div class='stb-tool'><\/div><\/div><div class='stb-content'> W neurofizjologii mo\u017cliwo\u015bci badania proces\u00f3w zachodz\u0105cych wewn\u0105trz neuronu s\u0105 ograniczone. By\u0107 mo\u017ce mamy tu sytuacj\u0119 analogiczn\u0105 ze zjawiskami kwantowymi, w kt\u00f3rych sam pomiar istotnie zak\u0142\u00f3ca badany procesu. St\u0105d konieczno\u015b\u0107 po\u015bredniego wnioskowania na temat warto\u015bci pewnych istotnych parametr\u00f3w charakteryzuj\u0105cych kom\u00f3rk\u0119 nerwow\u0105. Modelowanie proces\u00f3w wewn\u0105trzkom\u00f3rkowych w neuronie przy pomocy algorytm\u00f3w bazuj\u0105cych na r\u00f3wnaniach r\u00f3\u017cniczkowych cz\u0105stkowych pozwala na uchwycenie zar\u00f3wno przestrzennego jak te\u017c dynamicznego (czasowego) aspektu modelowanego procesu. <a href=\"http:\/\/calculemus.org\/fi2\/a-bielecki\">Abstrakt<\/a>.<\/div><\/div>\n<div class='stb-container stb-style-anons stb-caption-box stb-no-caption stb-collapsed'><div class='stb-caption'><div class='stb-logo'><img class='stb-logo__image' src='' alt='img'\/><\/div><div class='stb-caption-content'>Izabela Bondecka-Krzykowska (UAM): &lt;em&gt;Dualna natura program\u00f3w komputerowych.&lt;\/em&gt;<\/div><div class='stb-tool'><\/div><\/div><div class='stb-content'> Wyst\u0105pienie po\u015bwi\u0119cone zostanie jednemu z najcz\u0119\u015bciej dyskutowanych problem\u00f3w ontologicznych zwi\u0105zanych z programami komputerowymi, a mianowicie ich dualnej naturze. Jest ona wyra\u017cana stwierdzeniem, nazywanym dwuznaczno\u015bci\u0105 Fetzera, \u017ce program mo\u017cna rozumie\u0107 zar\u00f3wno jako ci\u0105g instrukcji zapisanych w j\u0119zyku programowania (byt abstrakcyjny), jak i jako proces, czyli wykonanie kodu \u017ar\u00f3d\u0142owego na maszynie fizycznej. <a href=\"http:\/\/calculemus.org\/fi2\/i-bondecka-krzykowska\">Abstrakt<\/a>.<\/div><\/div>\n<div class='stb-container stb-style-anons stb-caption-box stb-no-caption stb-collapsed'><div class='stb-caption'><div class='stb-logo'><img class='stb-logo__image' src='' alt='img'\/><\/div><div class='stb-caption-content'>Jan Czerniawski (UJ): &lt;em&gt;Reizm a ontologiczny status informacji.&lt;\/em&gt;<\/div><div class='stb-tool'><\/div><\/div><div class='stb-content'> Chocia\u017c za reizmem ontologicznym przemawiaj\u0105 silne argumenty, w jego \u017ar\u00f3d\u0142owej wersji sformu\u0142owanej przez Kotarbi\u0144skiego boryka si\u0119 on z powa\u017cnymi problemami zwi\u0105zanymi z ontologi\u0105 dziedziny matematyki i jej teoriomnogo\u015bciowych podstaw. Analogiczne problemy pojawiaj\u0105 si\u0119 w kontek\u015bcie ontologii dziedziny informatyki. Je\u015bli zgodzi\u0107 si\u0119, \u017ce informacja zawsze jest aspektem struktury pewnego jej no\u015bnika, to w \u015bwietle standardowej wersji reizmu jest ona hipostaz\u0105. Co gorsza, mo\u017cna zastanawia\u0107 si\u0119, czy sam no\u015bnik musi by\u0107 rzecz\u0105, a nie np. procesem, kt\u00f3ry dla reizmu jest hipostaz\u0105. Na szcz\u0119\u015bcie zliberalizowana wersja reizmu, jak\u0105 jest radykalny arystotelizm, wi\u0105\u017c\u0105cy reizm nie z klasycznym nominalizmem, lecz z tzw. teori\u0105 wzgl\u0119du, skutecznie radzi sobie z tymi problemami, pozwalaj\u0105c te\u017c wyja\u015bni\u0107 relacje mi\u0119dzy informacj\u0105 a jej no\u015bnikiem i jej przekazem. <a href=\"http:\/\/calculemus.org\/fi2\/j-czerniawski\">Abstrakt<\/a>.<\/div><\/div>\n<div class='stb-container stb-style-anons stb-caption-box stb-no-caption stb-collapsed'><div class='stb-caption'><div class='stb-logo'><img class='stb-logo__image' src='' alt='img'\/><\/div><div class='stb-caption-content'>Marek Janasz (UP): &lt;em&gt;O automatycznym dowodzeniu twierdze\u0144 na wybranych przyk\u0142adach dowod\u00f3w twierdze\u0144 \u201dElement\u00f3w\u201d Euklidesa oraz arytmetyki odcink\u00f3w z \u201dGeometrii\u201d Kartezjusza.&lt;\/em&gt;<\/div><div class='stb-tool'><\/div><\/div><div class='stb-content'> Celem referatu jest przedstawienie automatycznych dowod\u00f3w wybranych twierdze\u0144 z ksi\u0119gi VI \u201dElement\u00f3w\u201d Euklidesa oraz arytmetyki odcink\u00f3w opisanej w \u201dGeometrii\u201d Kartezjusza. Ponadto zostan\u0105 zaprezentowane mo\u017cliwo\u015bci i ograniczenia zastosowania jednej z metod ADT w geometrii elementarnej, jak\u0105 jest metoda pola, za pomoc\u0105 kt\u00f3rej otrzymano powy\u017csze przyk\u0142ady. <a href=\"http:\/\/calculemus.org\/fi2\/m-janasz\">Abstrakt<\/a>. <\/div><\/div>\n<div class='stb-container stb-style-anons stb-caption-box stb-no-caption stb-collapsed'><div class='stb-caption'><div class='stb-logo'><img class='stb-logo__image' src='' alt='img'\/><\/div><div class='stb-caption-content'>Robert Janusz (AI, Vatican Observatory): &lt;em&gt;Paradygmat obiektowy w oprogramowaniu astronomicznym.&lt;\/em&gt;<\/div><div class='stb-tool'><\/div><\/div><div class='stb-content'> W tworzeniu oprogramowania astronomicznego powinno, jak si\u0119 zdaje, dominowa\u0107 podej\u015bcie nastawione na najbardziej efektywne wykonywanie przez komputery logicznego kodu. Tymczasem (dawniej) niepozorny i mniej &#8222;efektywny&#8221; paradygmat obiektowy coraz wyra\u017aniej zdaje si\u0119 wp\u0142ywa\u0107 &#8211; przynajmniej na niekt\u00f3re typy &#8211; oprogramowania astronomicznego. W referacie zostan\u0105 przedstawione niekt\u00f3re filozoficzne w\u0105tki wp\u0142ywaj\u0105ce na ten faktyczny stan rzeczy. <\/div><\/div>\n<div class='stb-container stb-style-anons stb-caption-box stb-no-caption stb-collapsed'><div class='stb-caption'><div class='stb-logo'><img class='stb-logo__image' src='' alt='img'\/><\/div><div class='stb-caption-content'>Adam K\u0142\u00f3\u015b (UPJPII): &lt;em&gt;Filozofia ewolucji Ch. S. Peirce\u2019a a wsp\u00f3\u0142czesne problemy algorytm\u00f3w ewolucyjnych.&lt;\/em&gt;<\/div><div class='stb-tool'><\/div><\/div><div class='stb-content'> Podczas wyst\u0105pienia zostanie zaprezentowany og\u00f3lny zarys teorii ewolucji Peirce\u2019a oraz dwa przyk\u0142ady jej aplikacji w narz\u0119dziach informatycznych. Przyk\u0142ady te b\u0119d\u0105 dotyczy\u0107 nowego rodzaju algorytm\u00f3w ewolucyjnych. <a href=\"http:\/\/calculemus.org\/fi2\/a-klos\">Abstrakt<\/a>. <\/div><\/div>\n<div class='stb-container stb-style-anons stb-caption-box stb-no-caption stb-collapsed'><div class='stb-caption'><div class='stb-logo'><img class='stb-logo__image' src='' alt='img'\/><\/div><div class='stb-caption-content'>Roman Krzanowski (UPJPII): &lt;em&gt;Czym jest informacyjny realizm strukturalny?&lt;\/em&gt;<\/div><div class='stb-tool'><\/div><\/div><div class='stb-content'> Informacyjny realizm strukturalny(IRS) jest terminem jeszcze rzadko spotykanym, jakkolwiek cz\u0119sto mo\u017cna znale\u017a\u0107 po\u015brednie odniesienia do tej koncepcji. Pewna metoda jej u\u015bci\u015blenia polega na odwo\u0142aniu si\u0119 do wynik\u00f3w bada\u0144 nad informacj\u0105 i jej istot\u0105. Prace Hellera (w kt\u00f3rych opisuje matematyczn\u0105 wersj\u0119 IRS) i Floridiego (kt\u00f3re mo\u017cna okre\u015bli\u0107 jako informacyjn\u0105 wersj\u0119 IRS) wydaj\u0105 si\u0119 dobrym punktem wyj\u015bcia dyskusji. <a href=\"http:\/\/calculemus.org\/fi2\/r-krzanowski\">Abstrakt<\/a>.<br \/>\n<\/div><\/div>\n<div class='stb-container stb-style-anons stb-caption-box stb-no-caption stb-collapsed'><div class='stb-caption'><div class='stb-logo'><img class='stb-logo__image' src='' alt='img'\/><\/div><div class='stb-caption-content'>S\u0142awomir Leciejewski (UAM): &lt;em&gt;Cyfrowa rewolucja w nauce a cyfrowa rewolucja cywilizacyjna.&lt;\/em&gt;<\/div><div class='stb-tool'><\/div><\/div><div class='stb-content'> Czy cyfrowa rewolucja cywilizacyjna jest konsekwencj\u0105 cyfrowej rewolucji w nauce? W swoim referacie b\u0119d\u0119 broni\u0142 pozytywnej odpowiedzi na powy\u017csze pytanie posi\u0142kuj\u0105c si\u0119 analizami wybranych przyk\u0142ad\u00f3w z historii informatyki. M\u00f3wi\u0105c og\u00f3lnie, referat po\u015bwi\u0119cony zostanie wa\u017cnym problemom z zakresu filozofii techniki, jakimi niew\u0105tpliwie s\u0105 techniczne determinanty rozwoju nauki. <a href=\"http:\/\/calculemus.org\/fi2\/s-leciejewski\">Abstrakt<\/a>. <\/div><\/div>\n<div class='stb-container stb-style-anons stb-caption-box stb-no-caption stb-collapsed'><div class='stb-caption'><div class='stb-logo'><img class='stb-logo__image' src='' alt='img'\/><\/div><div class='stb-caption-content'>Kamil Mamak (UPJPII, UJ): &lt;em&gt;Wp\u0142yw autonomii robot\u00f3w na podstawy odpowiedzialno\u015bci karnej.&lt;\/em&gt;<\/div><div class='stb-tool'><\/div><\/div><div class='stb-content'> Wsp\u00f3\u0142czesne roboty nie s\u0105 ju\u017c tylko prostymi narz\u0119dziami, za pomoc\u0105 kt\u00f3rych pope\u0142nia si\u0119 przest\u0119pstwa. Ich autonomia \u201eoddala\u201d \u00a0dzia\u0142anie konkretnego cz\u0142owieka od skutku \u201ewyrz\u0105dzonego\u201d przez robota. Kto powinien odpowiada\u0107 za przest\u0119pne skutki dzia\u0142ania robot\u00f3w? W referacie zostan\u0105 przedstawione niekt\u00f3re problemy z zwi\u0105zane z tym zagadnieniem.\u00a0<a href=\"http:\/\/calculemus.org\/fi2\/k-mamak\">Abstrakt<\/a>. <\/div><\/div>\n<div class='stb-container stb-style-anons stb-caption-box stb-no-caption stb-collapsed'><div class='stb-caption'><div class='stb-logo'><img class='stb-logo__image' src='' alt='img'\/><\/div><div class='stb-caption-content'>Witold Marciszewski (UwB): &lt;em&gt;Czy Alan Turing jest uniwersaln\u0105 maszyn\u0105 Turinga?&lt;\/em&gt;<\/div><div class='stb-tool'><\/div><\/div><div class='stb-content'> W odczycie podejmuje si\u0119 kluczowe zagadnienie \u015bwiatopogl\u0105du informatycznego, jakim jest r\u00f3wnowa\u017cno\u015b\u0107 ludzkiego umys\u0142u i uniwersalnej maszyny Turinga. Argumentuje si\u0119 na rzecz braku tej\u017ce, zwracaj\u0105c uwag\u0119 na tw\u00f3rczy charakter akt\u00f3w poznawczych cz\u0142owieka oraz zdolno\u015b\u0107 postrzegania, rozumienia i wykorzystywania niesko\u0144czono\u015bci. <a href=\"http:\/\/calculemus.org\/fi2\/w-marciszewski\">Abstrakt<\/a>.<\/div><\/div>\n<div class='stb-container stb-style-anons stb-caption-box stb-no-caption stb-collapsed'><div class='stb-caption'><div class='stb-logo'><img class='stb-logo__image' src='' alt='img'\/><\/div><div class='stb-caption-content'>Jerzy Mycka (UMCS): &lt;em&gt;Kilka uwag o zwi\u0105zkach problem\u00f3w obliczeniowo nierozstrzygalnych z konstrukcjami euklidesowymi.&lt;\/em&gt;<\/div><div class='stb-tool'><\/div><\/div><div class='stb-content'>Referat rozpocznie od por\u00f3wnania analitycznej definicji punktu o wsp\u00f3\u0142rz\u0119dnych obliczalnych z definicj\u0105 punktu konstruowalnego w sensie konstrukcji euklidesowych. Nast\u0119pnie om\u00f3wione zostan\u0105 przyk\u0142ady zagadnie\u0144 nierozstrzygalnych wyp\u0142ywaj\u0105cych z niekonstruowalno\u015bci. Na tej podstawie zostanie podj\u0119ta pr\u00f3ba wskazanie r\u00f3\u017cnic i podobie\u0144stw w poj\u0119ciach obliczalno\u015bci i geometrycznej konstruktywno\u015bci. <\/div><\/div>\n<div class='stb-container stb-style-anons stb-caption-box stb-no-caption stb-collapsed'><div class='stb-caption'><div class='stb-logo'><img class='stb-logo__image' src='' alt='img'\/><\/div><div class='stb-caption-content'>Adam Olszewski (UPJPII): &lt;em&gt;Jakie s\u0105 granice informatyki?&lt;\/em&gt;<\/div><div class='stb-tool'><\/div><\/div><div class='stb-content'> Celem wyst\u0105pienia jest przeanalizowanie tego, czy informatyka, jako nauka, posiada granice. W tym kontek\u015bcie rozwa\u017cone zostanie poj\u0119cie granicy nauki. Kolejnym problemem b\u0119dzie kwestia czy informatyka mo\u017ce by\u0107 nauk\u0105 aksjomatyczn\u0105 w sensie hilbertowskim i zostan\u0105 przedstawione dwie fundamentalne zasady informatyki (S.C. Shapiro). Na ko\u0144cu zostanie przedstawione u\u017cycie tezy Churcha w dowodzie problemu stopu. <\/div><\/div>\n<div class='stb-container stb-style-anons stb-caption-box stb-no-caption stb-collapsed'><div class='stb-caption'><div class='stb-logo'><img class='stb-logo__image' src='' alt='img'\/><\/div><div class='stb-caption-content'>Pawe\u0142 Polak (UPJPII): &lt;em&gt;Informatyka a zagadnienie fundamentalno\u015bci&lt;\/em&gt;<\/div><div class='stb-tool'><\/div><\/div><div class='stb-content'> W referacie podj\u0119te zostan\u0105 pytania dotycz\u0105ce roli, jak\u0105 informatyka mo\u017ce odegra\u0107 dla refleksji filozoficznej. W szczeg\u00f3lno\u015bci uwaga zostanie skupiona na zagadnieniu, czy dziedzina ta mo\u017ce przyczyni\u0107 si\u0119 do zmian w filozoficznym obrazie rzeczywisto\u015bci. Wydaje si\u0119, \u017ce informatyka zaczyna odgrywa\u0107 rol\u0119 analogiczn\u0105 do tej, jak\u0105 w XVII w. odegra\u0142y teorie mechaniki (zw\u0142aszcza teoria Newtona), a w XIX wieku teorie ewolucji (zw\u0142aszcza teoria Darwina). <a href=\"http:\/\/calculemus.org\/fi2\/p-polak\">Abstrakt<\/a> <\/div><\/div>\n<div class='stb-container stb-style-anons stb-caption-box stb-no-caption stb-collapsed'><div class='stb-caption'><div class='stb-logo'><img class='stb-logo__image' src='' alt='img'\/><\/div><div class='stb-caption-content'>Marcin Rz\u0105deczka (UMCS): &lt;em&gt;Znaczenie bioinformatyki dla filozoficznych bada\u0144 nad poj\u0119ciem informacji i kategori\u0105 kontekstowo\u015bci przetwarzania informacji.&lt;\/em&gt;<\/div><div class='stb-tool'><\/div><\/div><div class='stb-content'> G\u0142\u00f3wnym celem wyst\u0105pienia b\u0119dzie, inspirowana rozwojem bioinformatyki i biologii systemowej, pr\u00f3ba wzbogacenia uwik\u0142anej filozoficznie problematyki przetwarzania informacji o kategorie kontekstowo\u015bci, przetwarzania rozproszonego i polimorficzno\u015bci informacji. <a href=\"http:\/\/calculemus.org\/fi2\/m-rzadeczka\">Abstrakt<\/a>. <\/div><\/div>\n<div class='stb-container stb-style-anons stb-caption-box stb-no-caption stb-collapsed'><div class='stb-caption'><div class='stb-logo'><img class='stb-logo__image' src='' alt='img'\/><\/div><div class='stb-caption-content'>Rados\u0142aw Siedli\u0144ski (PJWSTK): &lt;em&gt;O dw\u00f3ch uj\u0119ciach informacji biologicznej: genocentrycznym i rozwojowym.&lt;\/em&gt;<\/div><div class='stb-tool'><\/div><\/div><div class='stb-content'> Wyst\u0105pienie ma na celu prezentacj\u0119 i dyskusj\u0119 dw\u00f3ch radykalnie odmiennych uj\u0119\u0107 informacji biologicznej obecnych w pi\u015bmiennictwie przedmiotu. <a href=\"http:\/\/calculemus.org\/fi2\/r-siedlinski\">Abstrakt<\/a>.<br \/>\n<\/div><\/div>\n<div class='stb-container stb-style-anons stb-caption-box stb-no-caption stb-collapsed'><div class='stb-caption'><div class='stb-logo'><img class='stb-logo__image' src='' alt='img'\/><\/div><div class='stb-caption-content'>Bart\u0142omiej Skowron (PW): &lt;em&gt;Ontologiczne b\u0119karty. O \u2013 \u0142ami\u0105cym prawa ontologiczne \u2013 sposobie istnienia przedmiot\u00f3w wirtualnych.&lt;\/em&gt;<\/div><div class='stb-tool'><\/div><\/div><div class='stb-content'> W referacie przedstawi\u0119 egzystencjalno-ontologiczn\u0105 analiz\u0119 przedmiotu wirtualnego. Wynikiem tej analizy jest twierdzenie, \u017ce spos\u00f3b istnienia przedmiot\u00f3w wirtualnych jest zasadniczo nowy w stosunku do sposob\u00f3w istnienia wyr\u00f3\u017cnionych przez Romana Ingardena w Sporze o istnienie \u015bwiata. <a href=\"http:\/\/calculemus.org\/fi2\/b-skowron\">Abstrakt<\/a>.<br \/>\n<\/div><\/div>\n<div class='stb-container stb-style-anons stb-caption-box stb-no-caption stb-collapsed'><div class='stb-caption'><div class='stb-logo'><img class='stb-logo__image' src='' alt='img'\/><\/div><div class='stb-caption-content'>Pawe\u0142 Stacewicz (PW): &lt;em&gt;O r\u00f3\u017cnych sposobach rozumienia analogowo\u015bci w informatyce?&lt;\/em&gt;<\/div><div class='stb-tool'><\/div><\/div><div class='stb-content'>Mianem oblicze\u0144 analogowych okre\u015bla si\u0119 w informatyce: 1) obliczenia ci\u0105g\u0142e (w odr\u00f3\u017cnieniu od dyskretnych czyli cyfrowych), 2) pewnego rodzaju obliczenia naturalne (polegaj\u0105ce na realizacji proces\u00f3w fizycznych, b\u0119d\u0105cych swoistymi analogonami operacji matematycznych). W odniesieniu do tych dw\u00f3ch podstawowych znacze\u0144 wynikaj\u0105 dwa wa\u017cne pytania: A) kt\u00f3ry z warunk\u00f3w, ci\u0105g\u0142o\u015b\u0107 czy analogiczno\u015b\u0107, jest wa\u017cniejszy je\u015bli chodzi o moc obliczeniow\u0105 maszyn analogowych? B) na czym polega uniwersalno\u015b\u0107 maszyn analogowych? <a href=\"http:\/\/calculemus.org\/fi2\/p-stacewicz\/\">Abstrakt<\/a>. <\/div><\/div>\n<div class='stb-container stb-style-anons stb-caption-box stb-no-caption stb-collapsed'><div class='stb-caption'><div class='stb-logo'><img class='stb-logo__image' src='' alt='img'\/><\/div><div class='stb-caption-content'>Mariusz Szynkiewicz (UAM): &lt;em&gt;Odpowiedzialno\u015b\u0107 moralna a artefakty techniczne. Wybrane zagadnienia informatyzacji i robotyzacji wsp\u00f3\u0142czesnego pola walki.&lt;\/em&gt;<\/div><div class='stb-tool'><\/div><\/div><div class='stb-content'> G\u0142\u00f3wnym tematem proponowanego referatu b\u0119d\u0105 dylematy moralne zwi\u0105zane z wybranymi aspektami automatyzacji wsp\u00f3\u0142czesnego pola walki. W wyst\u0105pieniu skoncentruj\u0119 si\u0119 na wykorzystaniu do cel\u00f3w militarnych &#8211; istniej\u0105cych ju\u017c &#8211; autonomicznych maszyn i system\u00f3w bojowych. <a href=\"http:\/\/calculemus.org\/fi2\/m-szynkiewicz\/\">Abstrakt<\/a>. <\/div><\/div>\n<div class='stb-container stb-style-anons stb-caption-box stb-no-caption stb-collapsed'><div class='stb-caption'><div class='stb-logo'><img class='stb-logo__image' src='' alt='img'\/><\/div><div class='stb-caption-content'>Krzysztof W\u00f3jtowicz (UW): &lt;em&gt;Natura wiedzy matematycznej a alternatywne modele oblicze\u0144.&lt;\/em&gt;<\/div><div class='stb-tool'><\/div><\/div><div class='stb-content'> W matematyce mamy\u00a0 do czynienia z zagadnieniami teoretycznie rozstrzygalnymi za pomoc\u0105 komputera, w przypadku kt\u00f3rych jednak implementacja nie jest mo\u017cliwa ze wzgl\u0119du na z\u0142o\u017cono\u015b\u0107. Pojawia si\u0119 pytanie, co by by\u0142o, gdyby istnia\u0142y odpowiednie (empiryczne) procedury, kt\u00f3re pozwala\u0142y na realizacj\u0119 tych oblicze\u0144. <a href=\"http:\/\/calculemus.org\/fi2\/k-wojtowicz\/\">Abstrakt<\/a>. <\/div><\/div>\n<div class='stb-container stb-style-anons stb-caption-box stb-no-caption stb-collapsed'><div class='stb-caption'><div class='stb-logo'><img class='stb-logo__image' src='' alt='img'\/><\/div><div class='stb-caption-content'>Krzysztof Turek (AGH): &lt;em&gt;Informacja o \u015bwiecie i informacja w \u015bwiecie w \u015bwietle og\u00f3lnej definicji informacji i realizmu strukturalnego.&lt;\/em&gt;<\/div><div class='stb-tool'><\/div><\/div><div class='stb-content'> Referat poka\u017ce, jak w ramach koncepcji realizmu strukturalnego mo\u017cna znacz\u0105co u\u015bci\u015bli\u0107 poj\u0119cie informacji o \u015bwiecie oraz zdefiniowa\u0107 niezale\u017cne od obserwatora poj\u0119cie informacji w \u015bwiecie. Poddana zostanie r\u00f3wnie\u017c analizie zasadno\u015b\u0107 podstawowego aksjomatu og\u00f3lnej definicji informacji &#8211; stwierdzaj\u0105cego, \u017ce informacja nie mo\u017ce istnie\u0107 bez danych. <a href=\"http:\/\/calculemus.org\/fi2\/k-turek\/\">Abstrakt<\/a>.<\/div><\/div>\n<div class='stb-container stb-style-anons stb-caption-box stb-no-caption stb-collapsed'><div class='stb-caption'><div class='stb-logo'><img class='stb-logo__image' src='' alt='img'\/><\/div><div class='stb-caption-content'>Marek Zaionc (UJ): &lt;em&gt;Asymptotic Densities in Logic and Computability.&lt;\/em&gt;<\/div><div class='stb-tool'><\/div><\/div><div class='stb-content'> This talk presents numerous results from the area of quantitative investigations in logic and computability. We present a quantitative analysis of random formulas or random lambda term or finally random combinatory logic terms. <a href=\"http:\/\/calculemus.org\/fi2\/m-zaionc\/\">Abstrakt<\/a>. <\/div><\/div>\n","protected":false},"excerpt":{"rendered":"<p>Referaty zg\u0142oszone na Konferencj\u0119 s\u0105 zestawione ni\u017cej, zgodnie z kolejno\u015bci\u0105 alfabetyczn\u0105 nazwisk ich autor\u00f3w. Z anonsami referat\u00f3w mo\u017cna zapozna\u0107 si\u0119 po klikni\u0119ciu w symbol z prawej strony. Je\u015bli opr\u00f3cz anonsu jest dost\u0119pny szerszy od niego abstrakt, na ko\u0144cu anonsu jest &hellip; <a href=\"https:\/\/calculemus.org\/fi2\/referaty\/\">Czytaj dalej <span class=\"meta-nav\">&rarr;<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"onecolumn-page.php","meta":[],"_links":{"self":[{"href":"https:\/\/calculemus.org\/fi2\/wp-json\/wp\/v2\/pages\/6"}],"collection":[{"href":"https:\/\/calculemus.org\/fi2\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/calculemus.org\/fi2\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/calculemus.org\/fi2\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/calculemus.org\/fi2\/wp-json\/wp\/v2\/comments?post=6"}],"version-history":[{"count":41,"href":"https:\/\/calculemus.org\/fi2\/wp-json\/wp\/v2\/pages\/6\/revisions"}],"predecessor-version":[{"id":86,"href":"https:\/\/calculemus.org\/fi2\/wp-json\/wp\/v2\/pages\/6\/revisions\/86"}],"wp:attachment":[{"href":"https:\/\/calculemus.org\/fi2\/wp-json\/wp\/v2\/media?parent=6"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}