- Tytuł:
- Czy Gödel unicestwił marzenie Leibniza?
- Autorzy:
- Krajewski, Stanisław
- Powiązania:
- https://bibliotekanauki.pl/articles/2103009.pdf
- Data publikacji:
- 2016
- Wydawca:
- Polska Akademia Nauk. Czytelnia Czasopism PAN
- Tematy:
-
G.W. Leibniz
K. Gödel
mechanizacja myślenia
sztuczna inteligencja
twierdzenia limitacyjne - Opis:
- Marzeniem Leibniza było, aby zmechanizować rozumowania tak, by stały się podobne do obliczeń maszynowych. Dzisiejszy sposób ujęcia tego planu to pomysł, by zaprogramować proces rozumowania. Twierdzenie Gödla zakwestionowało realność tego marzenia – nawet w odniesieniu do matematyki. Nie wyklucza ono jednak tego, że cała dostępna ludziom matematyka mogłaby być zaprogramowana przez hipotetyczną nadludzką inteligencję. Zarazem jest widoczne, że od kilkudziesięciu lat rozwijają się komputery, robotyka, sztuczna inteligencja, czyli w praktyce marzenie Leibniza ulega stopniowej realizacji. Ponadto, wbrew wyobrażeniom Leibniza, nawet percepcja jest częściowo symulowana maszynowo. Mimo wielkich sukcesów sztuczna inteligencja napotyka fundamentalne przeszkody. Ich wspólnym mianownikiem jest konieczność uwzględniania kontekstu.
- Źródło:
-
Przegląd Filozoficzny. Nowa Seria; 2016, 4; 497-504
1230-1493 - Pojawia się w:
- Przegląd Filozoficzny. Nowa Seria
- Dostawca treści:
- Biblioteka Nauki
Artykuł