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...
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...
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 ...
Enough Model Theory to Understand Skolem’s “Paradox”
Enough Model Theory to Understand Skolem’s “Paradox”
This article seeks to describe some of the basic foundations of mathematics from a model-theoretic perspective with the goal of obtaining the “Downward Löwenheim–Skolem” theorem. ...
A Unique Case of a Donor Cell Acute Myeloid Leukemia Reveals Complex Kinetics of Mutations and Evolution of the Disease
A Unique Case of a Donor Cell Acute Myeloid Leukemia Reveals Complex Kinetics of Mutations and Evolution of the Disease
Abstract
Abstract 886
The diagnosis acute myeloid leukemia (AML) describes a heterogeneous group of myeloid stem cell disorders. Based on current conc...
Lògica de primer ordre
Lògica de primer ordre
Aquest llibre presenta la teoria estàndard de la lògica de primer ordre. Conté demostracions completes de bastants dels resultats més importants de la lògica, inclosos la solidesa,...
The Dynamical Mordell–Lang Conjecture for Skew-Linear Self-Maps. Appendix by Michael Wibmer
The Dynamical Mordell–Lang Conjecture for Skew-Linear Self-Maps. Appendix by Michael Wibmer
AbstractLet $k$ be an algebraically closed field of characteristic $0$, let $N\in{\mathbb{N}}$, let $g:{\mathbb{P}}^1{\longrightarrow } {\mathbb{P}}^1$ be a nonconstant morphism, a...
Information System for the Support of Research, Diagnosis and Therapy of Inborn Metabolic Diseases
Information System for the Support of Research, Diagnosis and Therapy of Inborn Metabolic Diseases
We developed an information system for inborn metabolic diseases. The system consists of three parts. The first part is the MD-Cave for information on laboratory findings, genes, e...