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 52
- Downloads 0
Słownik a plastyczność świata. Studium społeczno-humanistyczne
W niniejszym studium rozważam świat jako zbiór zdarzeń, w tym ludzkich działań. Owe zdarzenia znajdują się w sprzężeniu zwrotnym z mnogością układów postaw propozycjonalnych, które nazywam kulturami. Jednocześnie to popr...
The Scale Structure of Moral Adjectives
In this paper we discuss how and whether moral adjectives fit a well-known semantics for gradable adjectives. We first test whether moral adjectives are relative or absolute adjectives. The preliminary results suggest th...
Directival Theory of Meaning Resurrected
The first aim of this paper is to remind the reader of a very original theory of meaning which in many aspects has not been surpassed by subsequent theories. The theory in question is Kazimierz Ajdukiewicz’s Directival T...
Przyczynowa teoria metafory na tle filozofii Donalda Davidsona
Celem artykułu jest analiza, uzasadnienie i wyjaśnienie Donalda Davidsona przyczynowej teorii metafory z punktu widzenia całości jego poglądów filozoficznych. Poglądy te tworzą spójny system obejmujący, poza semantyką i...
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...