Temat: mathematical function

Skocz do pozycji: 1.

Tytuł:: Istnieje nietrywialnie prawdziwe stwierdzenie w obliczalności które może być sfalsyfikowane i zawiera predykat K bieżącej wiedzy matematycznej
There is a non-trivially true statement in computability which may be falsified and contains the predicate K of the current mathematical knowledge
Autorzy:: Tyszka, Apoloniusz
Data publikacji:: 2024-07-16
Wydawca:: Elsevier
Słowa kluczowe:: limit-computable function
eventual domination
single-fold Diophantine representation
current mathematical knowledge; Pokaż więcej
Dostawca treści:: Repozytorium Centrum Otwartej Nauki

Artykuł

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Predykat K aktualnej wiedzy matematycznej nietrywialnie rozszerza teorię obliczalności
The predicate K of the current mathematical knowledge non-trivially extends computability theory
Autorzy:: Tyszka, Apoloniusz
Data publikacji:: 2024-06-11
Wydawca:: Elsevier
Słowa kluczowe:: limit-computable function
single-fold Diophantine representation
eventually dominates
current mathematical knowledge; Pokaż więcej
Dostawca treści:: Repozytorium Centrum Otwartej Nauki

Książka

Szczegóły

Skocz do pozycji: 3.

Tytuł:: A falsifiable statement Ψ of the form "∃f:N→N of unknown computability such that ...", where ZFC expresses Ψ at any time and Ψ significantly strengthens a non-trivial mathematical theorem
Autorzy:: Tyszka, Apoloniusz
Data publikacji:: 2024-12-13
Wydawca:: Elsevier
Słowa kluczowe:: eventual domination
single-fold Diophantine representation
time-dependent truth in mathematics with the predicate K of the written down mathematical knowledge
predicate K of the written down mathematical knowledge
limit-computable function; Pokaż więcej
Dostawca treści:: Repozytorium Centrum Otwartej Nauki

Artykuł

Szczegóły

Informacja