Zobrazeno 1 - 10
of 2 532
pro vyhledávání: '"AXIOMATIZATION"'
Autor:
Tin Adlešić, Vedran Čačić
Publikováno v:
Bulletin of the Section of Logic, Vol 52, Iss 4, Pp 551-581 (2023)
In this paper, we rigorously prove the existence of type-level ordered pairs in Quine’s New Foundations with atoms, augmented by the axiom of infinity and the axiom of choice (NFU + Inf + AC). The proof uses the cardinal squaring principle; more pr
Externí odkaz:
https://doaj.org/article/02ad572bc5b04b83bed4518d27bf9706
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Wen-Ran Zhang
Publikováno v:
Information, Vol 15, Iss 8, p 456 (2024)
Following Einstein’s prediction that “Physics constitutes a logical system of thought” and “Nature is the realization of the simplest conceivable mathematical ideas”, this topical review outlines a formal extension of local realism limited
Externí odkaz:
https://doaj.org/article/6e7d1f3593584366868a7750afe6a7bd
Autor:
Li Jianxun, Yu Xingkai
Publikováno v:
Hangkong bingqi, Vol 30, Iss 3, Pp 1-10 (2023)
The probability density function contains not only the first-order and the second-order statistics, but also the higher-order statistics and more complex feature information. Information fusion on probability density functions for multi-sensor is a c
Externí odkaz:
https://doaj.org/article/e039adc066354f6090da0e02154ec3e4
Publikováno v:
Chengshi guidao jiaotong yanjiu, Vol 27, Iss 1, Pp 248-253,259 (2024)
[Objective] In the process of URT (urban rail transit) asset formation, there are challenges in the smooth transmission of asset information, leading to issues such as ′inconsistency between accounts and reality,′ difficulties in equipment mainte
Externí odkaz:
https://doaj.org/article/41de316d9d0044eb966f2251dcb30a8d
Autor:
Lützen, Jesper, author
Publikováno v:
A History of Mathematical Impossibility, 2023, ill.
Externí odkaz:
https://doi.org/10.1093/oso/9780192867391.003.0017
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.