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.
Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies
Informacja
SZANOWNI CZYTELNICY!
UPRZEJMIE INFORMUJEMY, ŻE BIBLIOTEKA FUNKCJONUJE W NASTĘPUJĄCYCH GODZINACH:
Wypożyczalnia i Czytelnia Główna: poniedziałek – piątek od 9.00 do 19.00