Zobrazeno 1 - 10
of 100
pro vyhledávání: '"Mathematical theorem"'
Autor:
Palle Yourgrau
Publikováno v:
History and Philosophy of Logic. 41:140-153
Is a mathematical theorem proved because provable, or provable because proved? If Brouwer’s intuitionism is accepted, we’re committed, it seems, to the latter, which is highly problematic. Or so I ...
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6c760358e6bd337d61a4f33f2f89ab14
https://doi.org/10.1080/01445340.2019.1702264
https://doi.org/10.1080/01445340.2019.1702264
Autor:
Alan Richard Baker
Publikováno v:
European Journal for Philosophy of Science. 11
In this paper I present a case study of mathematical explanation in science that is new to the philosophical literature, and that arises in the context of estimating the energetic costs of running in bipedal animals. I refer to this as the Bipedal Ga
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1c0ef6ee22b1ec0f490393275d2e0184
https://doi.org/10.1007/s13194-021-00411-3
https://doi.org/10.1007/s13194-021-00411-3
Autor:
Alper ÇİLTAŞ, Kübra YILMAZ
Publikováno v:
Journal of Academic Social Science Studies, Vol 9, Iss 52, Pp 1-14 (2019)
This research study investigated the change in students’ academic achievement with an achievement test designed for the implementations of theorem proofs carried out with the help of mathematical models. For that purpose, the study was carried out
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doajarticles::8296ab12d56b273951fd8d9d505d50dc
Autor:
Farzin Kamari, Sina Dadmand
In this study, with the use of the information theory, we have proposed and proved a mathematical theorem by which we argue the reason for the existence of human diseases. To introduce our theoretical frame of reference, first, we put forward a modif
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::96ca17b8dda225753fbae0c6944b5260
https://doi.org/10.1101/2020.08.03.233767
https://doi.org/10.1101/2020.08.03.233767
Autor:
Balthasar Grabmayr
The prevalent interpretation of G\"odel's Second Theorem states that a sufficiently adequate and consistent theory does not prove its consistency. It is however not entirely clear how to justify this informal reading, as the formulation of the underl
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3b0f8da4e8e6419a941efce81ac4407e
http://edoc.hu-berlin.de/18452/26881
http://edoc.hu-berlin.de/18452/26881
Autor:
Ryuhei Uehara
Publikováno v:
Introduction to Computational Origami ISBN: 9789811544699
First of all, as a basic knowledge, we learn that unfoldings can be characterized by spanning trees. We point out the relation with graph theory. Next we show the theorem by Akiyama and Nara. This is a beautiful mathematical theorem which shows the r
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3585b7382b06ebcc6937088745a425cd
https://doi.org/10.1007/978-981-15-4470-5_2
https://doi.org/10.1007/978-981-15-4470-5_2
Autor:
Qigui Yang, Qiaomin Xiang
Publikováno v:
Journal of Mathematical Analysis and Applications. 507:125743
This article studies the chaotic vibrations of the infinite-dimensional dynamical systems governed by linear hyperbolic partial differential equations (PDEs) in three-dimensional (3D) space, where the boundary conditions include two linear perturbati
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::460403615366bd52a41b126f87b18ca1
https://doi.org/10.1016/j.jmaa.2021.125743
https://doi.org/10.1016/j.jmaa.2021.125743
Autor:
George Musser
Publikováno v:
Science. 369:889-890
Researchers in Australia and Taiwan have offered perhaps the sharpest demonstration that a classic quantum paradox is real. In a study published this week in Nature Physics, they transform a thought experiment into a mathematical theorem that confirm
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1d4d318f3ae8725bc8deac6828baf469
https://doi.org/10.1126/science.369.6506.889
https://doi.org/10.1126/science.369.6506.889
Publikováno v:
Symmetry, Vol 11, Iss 9, p 1104 (2019)
Symmetry; Volume 11; Issue 9; Pages: 1104
Symmetry; Volume 11; Issue 9; Pages: 1104
We examine some aspects of the use of Simple Additive Weighting method to evaluate decision alternatives. Decision alternative attributes may be evaluated by verbal assessments which by their nature are imprecise. This means that for the purposes of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d12fe3fad81b3b7fd9c2c45fb672d266
https://www.mdpi.com/2073-8994/11/9/1104
https://www.mdpi.com/2073-8994/11/9/1104
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030341091
ICIG (2)
ICIG (2)
Segmentation of pulmonary artery (PA) and its branches is the primary work to detect pulmonary embolism (PE). In order to achieve precise segmentation of the pulmonary artery, we propose an improved three-dimensional region growth (3D RG) method base
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::96f2d26a57e006eddacd6764cdc02a64
https://doi.org/10.1007/978-3-030-34110-7_46
https://doi.org/10.1007/978-3-030-34110-7_46