Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 1

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
Wyszukiwano:
w słowach kluczowych:  równania wielowymiarowe
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available remote Some Undecidable Statements of Quite Simple Mathematics
EN
There are well known problems which are not decidable: halting problem, provability in PA, being a first order tautology, and others. Since all these problem deal with notions like computability and provability, they are beyond the scope of “usual” mathematics - mathematical analysis, for instance. Here, we will show a bunch of examples of simple undecidable statements of such mathematics.
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.