Nicht konstruktiv beweisbare Sätze der Analysis

Specker, Ernst

doi:10.2307/2267043

Record: found
Abstract: found
Article: not found

Nicht konstruktiv beweisbare Sätze der Analysis

Author(s): Ernst Specker

Publication date (Print): March 2014

Journal: The Journal of Symbolic Logic

Publisher: JSTOR

Read this article at

ScienceOpenPublisher

Bookmark

There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

Abstract

Nach allgemeiner Ueberzeugung können gewisse Sätze der Analysis nicht konstruktiv bewiesen werden. Man denke etwa an den folgenden Satz: Eine monotone und beschränkte Folge a(n) von rationalen Zahlen konvergiert, d.h. es gibt eine solche ganzzahlige Funktion k(m), daß

Related collections

Most cited references 3

Record: found
Abstract: not found
Article: not found

An Unsolvable Problem of Elementary Number Theory

Alonzo Church (1936)

0 comments Cited 160 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Article: not found

General recursive functions of natural numbers

S. Kleene (1936)

0 comments Cited 47 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Article: not found

Konstruktion nichtrekursiver Funktionen

Rózsa Péter, R�zsa P�ter (1935)

0 comments Cited 4 times – based on 0 reviews      Review now

Bookmark

All references

Author and article information

Journal

Journal ID (publisher-id): applab

Title: The Journal of Symbolic Logic

Abbreviated Title: J. symb. log.

Publisher: JSTOR

ISSN (Print): 0022-4812

ISSN (Electronic): 1943-5886

Publication date Created: September 1949

Publication date (Print): March 2014

Volume: 14

Issue: 03

Pages: 145-158

Article

DOI: 10.2307/2267043

SO-VID: e86afabd-f327-4170-b911-716de62fe6ce

History

Data availability:

Comments

Comment on this article

scite_

Smart Citations

Citing PublicationsSupportingMentioningContrasting

View Citations

See how this article has been cited at scite.ai

scite shows how a scientific paper has been cited by providing the context of the citation, a classification describing whether it supports, mentions, or contrasts the cited claim, and a label indicating in which section the citation was made.