O pewnych zasadniczych twierdzeniach dotyczących podstaw matematyki i wnioskach z nich płynących (przeł. M. Poręba)
Journal Title: Studia Semiotyczne - Year 2018, Vol 0, Issue 2
Abstract
Badania nad podstawami matematyki przyniosły w ostatnich dziesięcioleciach wyniki, które wydają mi się ciekawe nie tylko dla nich samych, lecz także z uwagi na wnioski, jakie płyną z nich w odniesieniu do tradycyjnych problemów filozoficznych dotyczących natury matematyki. Same wyniki są dość szeroko znane, mimo to jednak sądzę, że warto raz jeszcze przedstawić je w zarysie, zwłaszcza w obliczu faktu, że dzięki pracy szeregu matematyków zyskały one znacznie doskonalszą formę, niż miały pierwotnie. Największy postęp, mający decydujące znaczenie dla tych wyników, stał się możliwy dzięki precyzyjnemu zdefiniowaniu pojęcia skończonej procedury. Definicję taką można uzyskać na różne sposoby, które w efekcie dają dokładnie to samo pojęcie. Najbardziej zadowalający sposób polega moim zdaniem na sprowadzeniu pojęcia skończonej procedury do pojęcia maszyny o skończonej liczbie części, co uczynił brytyjski matematyk Turing. Co do filozoficznych konsekwencji wspomnianych wyników, nie sądzę, by kiedykolwiek należycie je przedyskutowano, czy choćby zwrócono na nie uwagę.
Authors and Affiliations
Kurt Gödel
Keywords
Related Articles
- EP ID EP487933
- DOI 10.26333/sts.xxxii2.02
- Views 51
- Downloads 0
Strategie argumentacji w teorii retoryki Arystotelesa: entymematy pozorne i obalające
The aim of the article is to confirm the thesis of Chaim Perelman on the homogeneity of Aristotle’s results regarding the theoretical and practical syllogism by presenting the concept of enthymeme; the article presents a...
Wyrażenia ocenne – próba klasyfikacji
W niniejszym artykule proponuję pewną klasyfikację wyrażeń ocennych. Uznaję, że podstawowym kryterium odróżnienia ich od wyrażeń deskryptywnych jest test bezbłędnej niezgody. Następnie omawiam kilka zjawisk, które mogłyb...
Pojęcia podstawowe dla odniesień imion własnych
Na początku rozważań autor artykułu przedstawia spekulatywne i oparte na badaniach empirycznych argumenty za istnieniem pojęć podstawowych dla imion własnych mających odniesienie: dzieci nie są w stanie w kilka dni po ur...
To, co powiedziane. Konferencja na Uniwersytecie Humboldtów w Berlinie
-
Efekt Hermesa. Studium analityczne z semiotyki teoretycznej
Artykuł ten stanowi próbę ukazania podstawowych relacji pomiędzy treścią wygłoszonego przez komunikatu a kolejnymi odbiorcami tego komunikatu. Artykuł przestawia semiotyczne własności zespołu operacji oraz proces interpr...