A mathematical logic without variables. I. (Q2611353): Difference between revisions
From MaRDI portal
Removed claim: author (P16): Item:Q1229083 |
Set OpenAlex properties. |
||
| (2 intermediate revisions by 2 users not shown) | |||
| Property / author | |||
| Property / author: J. Barkley Rosser / rank | |||
Normal rank | |||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
| Property / full work available at URL | |||
| Property / full work available at URL: https://doi.org/10.2307/1968669 / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W2331685757 / rank | |||
Normal rank | |||
Latest revision as of 21:42, 19 March 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A mathematical logic without variables. I. |
scientific article |
Statements
A mathematical logic without variables. I. (English)
0 references
1935
0 references
Die Arbeit beschäftigt sich mit der sogenannten kombinatorischen Logik, deren Begriff und erste Entwicklung \textit{Curry} zu verdanken ist. (Amer. Journ. of Math. 52 (1930), 509-536; JFM 56.0048.*; Amer. Journ. of Math. 54 (1932), 551-558; F. d. M. 58.) Die kombinatorische Logik wird hier in engere Beziehung zu dem logistischen System von \textit{A. Church} gebracht. Gleichzeitig wird der Grundgedanke der kombinatorischen Logik gegenüber \textit{Curry} insofern noch verschärft, als nicht nur in den logischen Formeln selbst, sondern auch in den Regeln zur Ableitung neuer Formeln der Gebrauch der Variablen vermieden wird. Das macht eine Neufassung der Beweise für die von \textit{Curry} gefundenen Sätze notwendig.
0 references
