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:

Peng, Weiguang;
Yamazaki, Takeshi

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:

Burke, Kevin

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:

HORVÀTH, Alexandru

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:

Cuesta Beltrán, Yeison Javier;
Massoni, Neusa Teresinha;
Salamanca Bernal, Julián Andrés;
Mosquera Suárez, Carlos Javier

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:

PATEY, LUDOVIC

Publication type:

Article

Journey through Genius: The Great Theorems of Mathematics.

Published in:

2014

By:

RICHESON, DAVID

Publication type:

Book Review

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:

Yan, Xiaoheng;
Hanna, Gila

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:

Berger, Josef;
Ishihara, Hajime;
Kihara, Takayuki;
Nemoto, Takako

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:

Wirth, Claus-Peter

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:

Wani, I. A.;
Hussain, A.

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:

Ernst, Michael;
Heis, Jeremy;
Maddy, Penelope;
McNulty, Michael Bennett;
Weatherall, James Owen

Publication type:

Article

Problems with generalising: Pythagoras in N dimensions.

Published in:

Australian Senior Mathematics Journal, 2013, v. 27, n. 1, p. 8

By:

Foster, Colin

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:

de Fatima Batistela, Rosemeire;
Viggiani Bicudo, Maria Aparecida

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:

Cellucci, Carlo

Publication type:

Article

Halin's infinite ray theorems: Complexity and reverse mathematics.

Published in:

Journal of Mathematical Logic, 2025, v. 25, n. 1, p. 1, doi. 10.1142/S0219061324500107

By:

Barnes, James S.;
Goh, Jun Le;
Shore, Richard A.

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:

Caelles, Marc;
Calvo, Cecilia

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:

González Llorente, José;
ARANDA BALLESTEROS, FLORENTINO DAMIÁN

Publication type:

Article

EL DIABLO DE LOS NÚMEROS.

Published in:

Gaceta de la Real Sociedad Matemática Española, 2020, v. 23, n. 1, p. 163

By:

Chamizo Lorente, Fernando

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:

AKTAŞ, Buşra;
DURMAZ, Olgun;
GÜNDOĞAN, Halit

Publication type:

Article

Subbuildings.

Published in:

Princeton Annals of Mathematics Studies, 2015, n. 190, p. 195

By:

Mühlherr, Bernhard;
Petersson, Holger P.;
Weiss, Richard M.

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:

Sanders, Sam

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:

Sato, Takashi

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:

Bridges, Douglas S.

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:

Romano, Daniel A.

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:

PORTER, CHRISTOPHER P.

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:

Sury, B.

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:

Franks, Curtis

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 Chinese Leftovers Theorem.

Published in:

Mathematical Intelligencer, 2017, v. 39, n. 1, p. 66, doi. 10.1007/s00283-017-9710-5

By:

Henle, Jim

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:

Ossicini, Andrea

Publication type:

Correction Notice

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:

Fu, Yaoshun;
Yu, Wensheng

Publication type:

Article

POOPĆENJA PITAGORINOG POUČKA.

Published in:

Technical Journal / Tehnički Glasnik, 2013, v. 7, n. 2, p. 103

By:

Keček, Damira;
Poldrugač, Ana;
Vuković, Predrag

Publication type:

Article

How Smart Is Too Smart?

Published in:

2012

By:

Boredaki, Nick

Publication type:

Question & Answer

Using Technology to Unify Geometric Theorems About the Power of a Point.

Published in:

Mathematics Educator, 2011, v. 21, n. 1, p. 11

By:

Contreras, José N.

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:

Aslanyan, V. A.

Publication type:

Article

REPLY TO “COULD SIGN-BASED SEMANTICS AND EMBODIED SEMANTICS BENEFIT ONE ANOTHER?”.

Published in:

Manuscrito, 2022, v. 45, n. 1, p. 145, doi. 10.1590/0100-6045.2022.V45N1.PD

By:

DUFFLEY, PATRICK

Publication type:

Article

ARISTOTLE'S ARGUMENT FROM UNIVERSAL MATHEMATICS AGAINST THE EXISTENCE OF PLATONIC FORMS.

Published in:

Manuscrito, 2019, v. 42, n. 4, p. 544, doi. 10.1590/0100-6045.2019.V42N4.PH

By:

HASPER, PIETER SJOERD

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:

WANG, WEI

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:

Ruixue Yuan;
Hongming Li;
Zhenyu Sun;
Huiwen Zhang

Publication type:

Article

The Goldbach conjecture: Why is it difficult?

Published in:

Australian Senior Mathematics Journal, 2016, v. 30, n. 2, p. 48

By:

Turner, Paul

Publication type:

Article

Other Indeterminate Forms.

Published in:

College Mathematics Journal, 2013, v. 44, n. 1, p. 55, doi. 10.4169/college.math.j.44.1.055

By:

Fink, Kurt;
Sadek, Jawad

Publication type:

Article

Irrational Square Roots.

Published in:

College Mathematics Journal, 2013, v. 44, n. 1, p. 53, doi. 10.4169/college.math.j.44.1.053

By:

Misiurewicz, Michał

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:

BAYLIS, JOHN

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:

Litvinov, G.;
Shpiz, G.

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:

Rozenstin, Shahar;
Gul, Shai

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:

Lemes, Ana Jimena

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:

Ochkov, Valery F.;
Bogomolova, Elena P.

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:

Brodhead, Katie;
Khan, Mushfeq;
Kjos-Hanssen, Bjørn;
Lampe, William;
Nguyen, Paul;
Shore, Richard

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:

Peng, NingNing;
Peng, Weiguang;
Yamazaki, Takeshi

Publication type:

Article

COMPUTER-DISCOVERED MATHEMATICS: LALESCO PRODUCTS.

Published in:

Mathematics & Informatics, 2015, v. 58, n. 2, p. 143

By:

Grozdev, Sava;
Dekov, Deko

Publication type:

Article