Works matching Mathematics theorems
Results: 5000
Two kinds of fixed point theorems and reverse mathematics.
- Published in:
- Mathematical Logic Quarterly, 2017, v. 63, n. 5, p. 454, doi. 10.1002/malq.201600096
- By:
- Publication type:
- Article
Física y Matemáticas, Teorema de Nöther: Contexto la Complejidad de la Educación Científica.
- Published in:
- Caderno Brasileiro de Ensino de Física, 2021, v. 43, p. 1, doi. 10.1590/1806-9126-RBEF-2020-0510
- By:
- Publication type:
- Article
Theorems in pure mathematics can be proved right but the models used in applied mathematics, natural and social science, as well as in engineering, can at most be 'not yet proved wrong'<sup>1</sup>.
- Published in:
- Canadian Journal of Earth Sciences, 2016, v. 53, n. 11, p. 1440, doi. 10.1139/cjes-2016-0129
- By:
- Publication type:
- Article
THE STRENGTH OF THE TREE THEOREM FOR PAIRS IN REVERSE MATHEMATICS.
- Published in:
- Journal of Symbolic Logic, 2016, v. 81, n. 4, p. 1481, doi. 10.1017/jsl.2015.80
- By:
- Publication type:
- Article
If 1+1=2 then the Pythagorean theorem holds, or one more proof of the oldest theorem of mathematics.
- Published in:
- Scientific Bulletin of the Petru Maior University of Targu Mures, 2013, v. 10, n. 1, p. 55
- By:
- Publication type:
- Article
Using the Lean interactive theorem prover in undergraduate mathematics.
- Published in:
- International Journal of Mathematical Education in Science & Technology, 2025, v. 56, n. 2, p. 318, doi. 10.1080/0020739X.2023.2227191
- By:
- Publication type:
- Article
The binary expansion and the intermediate value theorem in constructive reverse mathematics.
- Published in:
- Archive for Mathematical Logic, 2019, v. 58, n. 1/2, p. 203, doi. 10.1007/s00153-018-0627-2
- By:
- Publication type:
- Article
A Note on Location of the Zeros of Quaternionic Polynomials.
- Published in:
- Armenian Journal of Mathematics, 2023, v. 15, n. 7, p. 1, doi. 10.52737/18291163-2023.15.7-1-12
- By:
- Publication type:
- Article
Descente Infinie + Deduction.
- Published in:
- Logic Journal of the IGPL, 2004, v. 12, n. 1, p. 1, doi. 10.1093/jigpal/12.1.1
- By:
- Publication type:
- Article
Foreword to Special Issue on Mathematical Depth.
- Published in:
- Philosophia Mathematica, 2015, v. 23, n. 2, p. 155, doi. 10.1093/philmat/nkv003
- By:
- Publication type:
- Article
Problems with generalising: Pythagoras in N dimensions.
- Published in:
- Australian Senior Mathematics Journal, 2013, v. 27, n. 1, p. 8
- By:
- Publication type:
- Article
Is Mathematics Problem Solving or Theorem Proving?
- Published in:
- Foundations of Science, 2017, v. 22, n. 1, p. 183, doi. 10.1007/s10699-015-9475-2
- By:
- Publication type:
- Article
THE IMPORTANCE OF TEACHING GÖDEL'S INCOMPLETENESS THEOREM IN MATHEMATICS TEACHER EDUCATION.
- Published in:
- Philosophy of Mathematics Education Journal, 2018, n. 33, p. 1
- By:
- Publication type:
- Article
RETRACTED: Ossicini, A. On the Nature of Some Euler's Double Equations Equivalent to Fermat's Last Theorem. Mathematics 2022, 10 , 4471.
- Published in:
- 2024
- By:
- Publication type:
- Correction Notice
Banach Spaces with the Riemann–Lebesgue or the Analytic Riemann–Lebesgue Property.
- Published in:
- Bulletin of the London Mathematical Society, 2002, v. 34, n. 5, p. 569, doi. 10.1112/S0024609302001182
- By:
- Publication type:
- Article
Chaotic Homeomorphisms of Rn, Lifted from Torus Homeomorphisms.
- Published in:
- Bulletin of the London Mathematical Society, 1999, v. 31, n. 5, p. 577, doi. 10.1112/S002460939800561X
- By:
- Publication type:
- Article
A Counterexample in the Central Limit Theorem.
- Published in:
- Bulletin of the London Mathematical Society, 1999, v. 31, n. 2, p. 222, doi. 10.1112/S0024609398004822
- By:
- Publication type:
- Article
A Counterexample to Uniqueness in the Riemann Mapping Theorem for Univalent Harmonic Mappings.
- Published in:
- Bulletin of the London Mathematical Society, 1999, v. 31, n. 1, p. 87, doi. 10.1112/S0024609398004639
- By:
- Publication type:
- Article
Matters for Debate Why avoid induction?
- Published in:
- Mathematical Gazette, 2015, v. 99, n. 545, p. 290, doi. 10.1017/mag.2015.37
- By:
- Publication type:
- Article
Addendum to “Two theorems concerning rational approximations”.
- Published in:
- 2017
- By:
- Publication type:
- Correction Notice
Using Technology to Unify Geometric Theorems About the Power of a Point.
- Published in:
- Mathematics Educator, 2011, v. 21, n. 1, p. 11
- By:
- Publication type:
- Article
Reverse mathematics and Isbell's zig-zag theorem.
- Published in:
- Mathematical Logic Quarterly, 2014, v. 60, n. 4/5, p. 348, doi. 10.1002/malq.201300071
- By:
- Publication type:
- Article
Juliette Kennedy and Roman Kossak eds. Set Theory, Arithmetic, and Foundations of Mathematics: Theorems, Philosophies.
- Published in:
- Philosophia Mathematica, 2012, v. 20, n. 2, p. 272, doi. 10.1093/philmat/nkr038
- Publication type:
- Article
The inequalities on dual numbers and their topological structures.
- Published in:
- Turkish Journal of Mathematics, 2023, v. 47, n. 5, p. 1318, doi. 10.55730/1300-0098.3431
- By:
- Publication type:
- Article
COMPUTER-DISCOVERED MATHEMATICS: LALESCO PRODUCTS.
- Published in:
- Mathematics & Informatics, 2015, v. 58, n. 2, p. 143
- By:
- Publication type:
- Article
Logbuch Mathematik.
- Published in:
- Mitteilungen der DMV, 2021, v. 29, n. 1, p. 30, doi. 10.1515/dmvm-2021-0012
- By:
- Publication type:
- Article
Characterization of zigzag De Morgan functions.
- Published in:
- Discrete Mathematics, Algorithms & Applications, 2016, v. 8, n. 2, p. -1, doi. 10.1142/S1793830916500300
- By:
- Publication type:
- Article
Sequential, pointwise, and uniform continuity: A constructive note.
- Published in:
- Mathematical Logic Quarterly, 1993, v. 39, n. 1, p. 55, doi. 10.1002/malq.19930390108
- By:
- Publication type:
- Article
Rings and Fields, a Constructive View.
- Published in:
- Mathematical Logic Quarterly, 1988, v. 34, n. 1, p. 25, doi. 10.1002/malq.19880340105
- By:
- Publication type:
- Article
The Chinese Leftovers Theorem.
- Published in:
- Mathematical Intelligencer, 2017, v. 39, n. 1, p. 66, doi. 10.1007/s00283-017-9710-5
- By:
- Publication type:
- Article
The Goldbach conjecture: Why is it difficult?
- Published in:
- Australian Senior Mathematics Journal, 2016, v. 30, n. 2, p. 48
- By:
- Publication type:
- Article
Gödel's Theorem in the Continuing Education of Mathematics Teachers.
- Published in:
- Journal of Humanistic Mathematics, 2024, v. 14, n. 1, p. 40, doi. 10.5642/jhummath.VSSK5786
- By:
- Publication type:
- Article
Remarks on the Structuralistic Epistemology of Mathematics (Co-authored by Izabela Bondecka-Krzykowska).
- Published in:
- Poznan Studies in the Philosophy of the Sciences & the Humanities, 2010, v. 98, n. 1, p. 85
- Publication type:
- Article
Teaching Mathematics with Mathematical Software.
- Published in:
- Journal of Humanistic Mathematics, 2015, v. 5, n. 1, p. 265, doi. 10.5642/jhummath.201501.15
- By:
- Publication type:
- Article
ON ANALOGUES OF THE CHURCH–TURING THESIS IN ALGORITHMIC RANDOMNESS.
- Published in:
- Review of Symbolic Logic, 2016, v. 9, n. 3, p. 456, doi. 10.1017/S1755020316000113
- By:
- Publication type:
- Article
Application of Graph Convolutional Network in the Construction of Knowledge Graph for Higher Mathematics Teaching.
- Published in:
- Sensors & Materials, 2023, v. 35, n. 12, Part 3, p. 4269, doi. 10.18494/SAM4340
- By:
- Publication type:
- Article
Design in the service of topology and the classification theorem.
- Published in:
- International Journal of Mathematical Education in Science & Technology, 2023, v. 54, n. 10, p. 2257, doi. 10.1080/0020739X.2023.2182239
- By:
- Publication type:
- Article
The Deduction Theorem (Before and After Herbrand).
- Published in:
- History & Philosophy of Logic, 2021, v. 42, n. 2, p. 129, doi. 10.1080/01445340.2021.1889117
- By:
- Publication type:
- Article
POOPĆENJA PITAGORINOG POUČKA.
- Published in:
- Technical Journal / Tehnički Glasnik, 2013, v. 7, n. 2, p. 103
- By:
- Publication type:
- Article
Mixed Nash equilibria for continuous games and reverse mathematics.
- Published in:
- QM - Quaestiones Mathematicae, 2023, v. 46, n. 4, p. 621, doi. 10.2989/16073606.2022.2035448
- By:
- Publication type:
- Article
Kernel theorems and nuclearity in idempotent mathematics. An algebraic approach.
- Published in:
- Journal of Mathematical Sciences, 2007, v. 141, n. 4, p. 1417, doi. 10.1007/s10958-007-0049-x
- By:
- Publication type:
- Article
Subbuildings.
- Published in:
- Princeton Annals of Mathematics Studies, 2015, n. 190, p. 195
- By:
- Publication type:
- Article
Formalization of the Equivalence among Completeness Theorems of Real Number in Coq.
- Published in:
- Mathematics (2227-7390), 2021, v. 9, n. 1, p. 38, doi. 10.3390/math9010038
- By:
- Publication type:
- Article
The unreasonable effectiveness of Nonstandard Analysis.
- Published in:
- Journal of Logic & Computation, 2020, v. 30, n. 1, p. 459, doi. 10.1093/logcom/exaa019
- By:
- Publication type:
- Article
THE DEFINABILITY STRENGTH OF COMBINATORIAL PRINCIPLES.
- Published in:
- Journal of Symbolic Logic, 2016, v. 81, n. 4, p. 1531, doi. 10.1017/jsl.2016.10
- By:
- Publication type:
- Article
Pólya's one theorem with 100 pages of applications.
- Published in:
- Resonance: Journal of Science Education, 2014, v. 19, n. 4, p. 338, doi. 10.1007/s12045-014-0039-5
- By:
- Publication type:
- Article
The strength of the Grätzer-Schmidt theorem.
- Published in:
- Archive for Mathematical Logic, 2016, v. 55, n. 5/6, p. 687, doi. 10.1007/s00153-016-0488-5
- By:
- Publication type:
- Article
Uma visada sobre as condições sócio-históricas de emergência e demonstração do teorema da incompletude de Gödel em 1931.
- Published in:
- Paradigma, 2022, v. 43, n. 2, p. 454
- By:
- Publication type:
- Article
Estimulando la actividad matemática mediante teoremas.
- Published in:
- Gaceta de la Real Sociedad Matemática Española, 2023, v. 26, n. 2, p. 373
- By:
- Publication type:
- Article
Cuatro variaciones sobre el teorema de Picard.
- Published in:
- Gaceta de la Real Sociedad Matemática Española, 2023, v. 26, n. 2, p. 279
- By:
- Publication type:
- Article