Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "current" wg kryterium: Temat


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ł
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
Tytuł:
The predicate of the current mathematical knowledge substantially increases the constructive and informal mathematics and why it cannot be adapted to any empirical science
Autorzy:
Tyszka, Apoloniusz
Współwytwórcy:
Hugo Kołłątaj University, Kraków, Poland
Data publikacji:
2023
Wydawca:
Pi Mu Epsilon
Słowa kluczowe:
informal notions
current mathematical knowledge
epistemic notions
known elements of N
constructive algorithms
known algorithms
Pokaż więcej
Dostawca treści:
Repozytorium Centrum Otwartej Nauki
Inne
Tytuł:
The predicate of the current mathematical knowledge substantially increases the constructive and informal mathematics and why it cannot be adapted to any empirical science
Autorzy:
Tyszka, Apoloniusz
Data publikacji:
2023
Wydawca:
Pi Mu Epsilon
Słowa kluczowe:
constructive algorithms
informal notions
epistemic notions
known algorithms
known elements of N
current mathematical knowledge
Pokaż więcej
Dostawca treści:
Repozytorium Centrum Otwartej Nauki
Artykuł

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies