Results 141 to 150 of about 92,095 (302)
Proof Theory in Philosophy of Mathematics
Philosophy Compass, 2010 Abstract A variety of projects in proof theory of relevance to the philosophy of mathematics are surveyed, including Gödel's incompleteness theorems, conservation results, independence results, ordinal analysis, predicativity, reverse mathematics, speed‐up results, and provability logics.
openaire +2 more sources
Advanced Science, EarlyView.Using grilled lamb skewers as a model system, this work builds a multiscale coupling framework from oral processing to retronasal aroma perception, reveals dual‐kinetic release patterns and Electroencephalogram‐characterized central encoding features, and proposes an interpretable physics‐guided deep learning model validated by multiphysics simulation,
Che Shen +12 more
wiley +1 more source
Advanced Science, EarlyView.Complex microarchitectures emerge from simple flow‐driven transformations as static mixers iteratively reorient and split material domains. Coupled with diverse deposition strategies, chaotic printing provides an accessible platform for fabricating architected materials that support biologically and chemically relevant processes. ABSTRACT Nature builds
Edna Johana Bolívar‐Monsalve +7 more
wiley +1 more source
Mathematical Explanation Beyond Explanatory Proof [PDF]
, 2017 Much recent work on mathematical explanation has presupposed that the phenomenon involves explanatory proofs in an essential way. I argue that this view, ‘proof chauvinism’, is false.
D'Alessandro, William
core
Advanced Science, EarlyView.Mechanical intelligence reframes bone regeneration as a time‐dependent coupling between material and cellular memory. Biomaterials store and release mechanical history, while cells retain prior cues and remodel the repair niche. Matching these memories to healing stages may guide stage‐specific scaffolds, sensing‐assisted prediction, mechanical dosing,
Jin Tian +8 more
wiley +1 more source
Rozumienie dowodu matematycznego a zagadnienie wyjaśnienia w matematyce
Zagadnienia Filozoficzne w Nauce, 2015 In the article, I present two possible points of view concerning mathematical proofs: (a) the formal view (according to which the formalized versions of mathematical proofs reveal their “essence”); (b) the semantic view (according to which mathematical ...
Krzysztof Wójtowicz
doaj
Advanced Science, EarlyView.Through AI‐assisted screening from FDA‐approved API to overcome the limitations of bacterial osteomyelitis treatment, glycyrrhizic acid and simvastatin are identified as a multifunctional combination capable of self‐assembling into mechanism‐targeting nanocrystals that effectively neutralize reactive oxygen species, suppress M1 macrophage polarization,
Yu Han +11 more
wiley +1 more source
Advanced Science, EarlyView.The diagram illustrates a sustainable model of lignin valorization and carbon cycling based on microbial cell factories. Using lignin as the feedstock, synthetic biology technologies, including depolymerization, cell factory construction, pathway gene module integration, and metabolic network regulation, are applied to convert lignin into bulk ...
Na Li +4 more
wiley +1 more source
Mathematical Reasoning: Writing and Proof, Version 2.1 [PDF]
, 2014 Mathematical Reasoning: Writing and Proof is designed to be a text for the first course in the college mathematics curriculum that introduces students to the processes of constructing and writing proofs and focuses on the formal development of mathematics.
Sundstrom, Ted
core +1 more source
Dowód matematyczny – argumentacja czy derywacja? – część I
Zagadnienia Filozoficzne w Nauce, 2011 The article is devoted to the problem of status of mathematical proofs, in particular it tries to capture the relationship between the real, „semantic” notion of mathematical proof, and its formal (algorithmic) counterpart.
Krzysztof Wójtowicz
doaj