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 44
- Downloads 0
O pewnych zasadniczych twierdzeniach dotyczących podstaw matematyki i wnioskach z nich płynących (przeł. M. Poręba)
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 pr...
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...
Terminy (użycie precyzyjne a użycie potoczne) – o wyrazie tiret i wyrazach zbliżonych
Punktem wyjścia rozważań jest wyraz tiret, który – zapożyczony z francuskiego – zdobył ostatnio znaczną frekwencję w polszczyźnie. Było go skutkiem wprowadzenia (w r. 2002) „Zasad techniki prawodawczej”: tiret jest jedno...
Problem ustalania indeksu w semantyce temporalno-modalnej
W ramach semantyk Kripkego dla języków modalnych wartość logiczna zdania może zmieniać się wraz ze zmianą parametru indeksu semantycznego (np. świata, czasu czy miejsca). Oznacza to, że stosując tego typu semantykę do an...
Co to jest obraz? Komentarz do Podstaw teorii znaku ikonicznego Kazimierza Świrydowicza
On the basis of Kazimierz Świrydowicz’s view on the theory of iconic signs, I critically discuss semantical theories of iconic signs that are based on the concept of resemblance and anti-conventionalism. I also present t...