Zobrazeno 1 - 10
of 1 401
pro vyhledávání: '"Analytic proof"'
Autor:
Fatić, Aleksandar
Publikováno v:
Filozofija i društvo / Philosophy and Society. 32(3):428-438
Externí odkaz:
https://www.ceeol.com/search/article-detail?id=983441
Autor:
Rusnock, Paul, author
Publikováno v:
Bolzano's Philosophy of Grounding : Translations and Studies, 2022.
Externí odkaz:
https://doi.org/10.1093/oso/9780192847973.003.0013
Autor:
Krajewski Stanisław
Publikováno v:
Studia Humana, Vol 9, Iss 3-4, Pp 154-164 (2020)
The Euclidean ideal of mathematics as well as all the foundational schools in the philosophy of mathematics have been contested by the new approach, called the “maverick” trend in the philosophy of mathematics. Several points made by its main rep
Externí odkaz:
https://doaj.org/article/c574223685d04d5a8eca84cb869fc12d
Autor:
Ying Jiang, Gilles Dowek
We give a new proof of a theorem of Mints that the positive fragment of minimal predicate logic is decidable. The idea of the proof is to replace the eigenvariable condition of sequent calculus by an appropriate scoping mechanism. The algorithm given
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9e80e56d8c3e3bd71513ec224830bbcb
http://arxiv.org/abs/2305.08416
http://arxiv.org/abs/2305.08416
Autor:
Aleksandar Fatic
Publikováno v:
Filozofija i Društvo, Vol 32, Iss 3, Pp 428-438 (2021)
Filozofija i društvo / Philosophy and Society
Filozofija i društvo / Philosophy and Society
A resurgence of scholarly work on proof of God’s existence is noticeable over the past decade, with considerable emphasis on attempts to provide ‘analytic proof’ based on the meanings and logic of various identity statements which constitute pr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b32324b417c2d9ed1c5e41cc8e2eee39
http://www.doiserbia.nb.rs/img/doi/0353-5738/2021/0353-57382103428F.pdf
http://www.doiserbia.nb.rs/img/doi/0353-5738/2021/0353-57382103428F.pdf
Publikováno v:
Journal of Biopharmaceutical Statistics. 32:277-286
The self-controlled case series is an important method in the studies of the safety of biopharmaceutical products. It uses the conditional Poisson model to make comparison within persons. In models without adjustment for age (or other time-varying co
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::01eb4a6fddf4c4d636bbc8964c662121
https://doi.org/10.1080/10543406.2021.1998099
https://doi.org/10.1080/10543406.2021.1998099
Autor:
Robert Conte
Publikováno v:
Theoretical and Mathematical Physics. 209:1357-1366
We present a one-line closed-form expression for the three-parameter breather of the nonlinear Schrodinger equation. This provides an analytic proof of the time period doubling observed in experiments. The experimental check that some pulses generate
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b0de9d77237589778cb5e0b8028a4bba
https://doi.org/10.1134/s0040577921100032
https://doi.org/10.1134/s0040577921100032
Autor:
Antonio Martínez-Abejón
Publikováno v:
Scopus
RUO. Repositorio Institucional de la Universidad de Oviedo
instname
RUO. Repositorio Institucional de la Universidad de Oviedo
instname
Sufficient conditions on a smooth, real-valued function g for the nowhere differentiability of $$g\circ p$$ are given, where p is Peano’s curve. This generalizes Sagan’s analytic proof on the nowhere differentiability of the coordinate functions
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1e780cbd9607ad11297b5d9e12ec4c74
https://doi.org/10.1007/s40840-021-01182-z
https://doi.org/10.1007/s40840-021-01182-z
Publikováno v:
IEEE Transactions on Circuits and Systems II: Express Briefs. 68:883-887
Influence of component matching errors becomes more and more significant for integrated circuit design, in particular, for digital-to-analog converters. A unary digital-to-analog converter can compensate such errors by means of a switching scheme. Th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::dceb1c7909854894b47334c30f0356fb
https://doi.org/10.1109/tcsii.2020.3021203
https://doi.org/10.1109/tcsii.2020.3021203
Autor:
Yongki Lee
Publikováno v:
Journal of Differential Equations. 269:8838-8854
For models describing water waves, Constantin and Escher's works have long been considered as the cornerstone method for proving wave breaking phenomena. Their rigorous analytic proof shows that if the lowest slope of flows can be controlled by its h
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5528f5f50fe9cc9aca1ff38141e63325
https://doi.org/10.1016/j.jde.2020.06.035
https://doi.org/10.1016/j.jde.2020.06.035