Search engine for discovering works of Art, research articles, and books related to Art and Culture
Javascript must be enabled to continue!
Thoralf Skolem
View through CrossRef
Abstract
This item is a handwritten letter, dated 1 November 1931, addressed to a “Sehr geehrter Herr Professor.” From the contents of the letter, in particular from the reference to “Hirer Arbeit ‘Uber einige Satzfunkti- onen in der Arithmetik’ ”, it is clear that the “Herr Professor” is Thoralf Skolem and that the paper is Skolem 1931. The actual missive comes from a private source, and it is not known whether it was ever received by Skolem. The letter is a second and private response to Skolem 1931. The public response was Gödel 1932d, which is a very careful and strictly “mathematical” review of that article. In this private response, Gödel offers hints and suggestions related to Skolem’s views on the issue of set- theoretic relativism. These suggestions are based on the results of his incompleteness paper 1931, which had appeared the previous January.
Title: Thoralf Skolem
Description:
Abstract
This item is a handwritten letter, dated 1 November 1931, addressed to a “Sehr geehrter Herr Professor.
” From the contents of the letter, in particular from the reference to “Hirer Arbeit ‘Uber einige Satzfunkti- onen in der Arithmetik’ ”, it is clear that the “Herr Professor” is Thoralf Skolem and that the paper is Skolem 1931.
The actual missive comes from a private source, and it is not known whether it was ever received by Skolem.
The letter is a second and private response to Skolem 1931.
The public response was Gödel 1932d, which is a very careful and strictly “mathematical” review of that article.
In this private response, Gödel offers hints and suggestions related to Skolem’s views on the issue of set- theoretic relativism.
These suggestions are based on the results of his incompleteness paper 1931, which had appeared the previous January.
Related Results
Skolem, Thoralf (1887–1963)
Skolem, Thoralf (1887–1963)
The twentieth-century mathematician Thoralf Skolem is known principally for two achievements. The first is the statement and proof of the Löwenheim-Skolem theorem. The second is hi...
Pelabelan skolem graceful pada graf (S_n,r)
Pelabelan skolem graceful pada graf (S_n,r)
Pelabelan pada suatu graph adalah pemetaan yang memetakan unsur-unsur graph yaitu himpunan titik, himpunan sisi, maupun himpunan titik dan sisi ke suatu bilangan asli dengan aturan...
On Robustness for the Skolem, Positivity and Ultimate Positivity Problems
On Robustness for the Skolem, Positivity and Ultimate Positivity Problems
The Skolem problem is a long-standing open problem in linear dynamical
systems: can a linear recurrence sequence (LRS) ever reach 0 from a given
initial configuration? Similarly, t...
Skolem Mean Labeling of Four Star Graphs
Skolem Mean Labeling of Four Star Graphs
Skolem mean labeling of the four star G = K K K K ∪ ∪ ∪ 1 1, ,η η 1,τ 1,τ 1 2 1 2 where 2 η η 1 and 1 2 is a skolem mean graph if 2 2 1 1 1 2 i i i i is t...
Skolem Difference Mean Graphs
Skolem Difference Mean Graphs
A graph G = (V, E) with p vertices and q edges is said to haveskolem difference mean labeling if it is possible to label the verticesx ∈ V with distinct elements f(x) from 1, 2, 3,...
The Thoralf plugin: for your fancy type needs
The Thoralf plugin: for your fancy type needs
Many fancy types (e.g., generalized algebraic data types, type families) require a type checker plugin. These fancy types have a type index (e.g., type level natural numbers) with ...
Skolem Graceful Labelin on Broom Graph
Skolem Graceful Labelin on Broom Graph
Let G=(V,E) be a finite simple graph. Broom graph B_(m,n) consist of (m+n) nodes is a path graph P_m with m nodes and a star graph S_n with (n+1) nodes, which are aligned at 1 vert...
Skolem Mean Labeling of Six Star Graphs
Skolem Mean Labeling of Six Star Graphs
Skolem mean labeling of Six star graphs under the condition 0 ≤ 1 is proved in this paper with clear explanation and examples. The aim of this paper is to discuss the 4, 2 partitio...