Search Results

Book Review: Logic, Mathematics, and the Mind: A Critical Study of Richard Tieszen's Phenomenology, Logic, and the Philosophy of Mathematics

• Authors : Hanna, Robert

• Source: Notre Dame Journal of Formal Logic ; volume 50, issue 3 ; ISSN 0029-4527

Record details

Masaki Maruyama (1944–2009) and his mathematics

• Authors : Narasimhan, M. S.

• Source: Kyoto Journal of Mathematics ; volume 53, issue 1 ; ISSN 2156-2261

Record details

Masayoshi Nagata (1927–2008) and his mathematics

• Authors : Miyanishi, Masayoshi

• Source: Kyoto Journal of Mathematics ; volume 50, issue 4 ; ISSN 2156-2261

Record details

Reverse Mathematics and Uniformity in Proofs without Excluded Middle

• Authors : Hirst, Jeffry L.; Mummert, Carl

• Source: Notre Dame Journal of Formal Logic ; volume 52, issue 2 ; ISSN 0029-4527

Record details

Interval Orders and Reverse Mathematics

• Authors : Marcone, Alberto

• Source: Notre Dame Journal of Formal Logic ; volume 48, issue 3 ; ISSN 0029-4527

Record details

Book Review: J. P. Mayberry. Foundations of Mathematics in the Theory of Sets

• Authors : Bassler, O. Bradley

• Source: Notre Dame Journal of Formal Logic ; volume 46, issue 1 ; ISSN 0029-4527

Record details

Reverse Mathematics and Completeness Theorems for Intuitionistic Logic

• Authors : Yamazaki, Takeshi

• Source: Notre Dame Journal of Formal Logic ; volume 42, issue 3 ; ISSN 0029-4527

Record details

Closed hypersurfaces of low entropy in R⁴ are isotopically trivial

• Authors : Bernstein, Jacob; Wang, Lu

Subjects: isotopy; Mean curvature flow; self-expander

• Source: Duke Mathematical Journal, 171(7), (2022-05-15)

Record details

Book Review: Stewart Shapiro. Philosophy of Mathematics: Structure and Ontology.

• Authors : Burgess, John P.

• Source: Notre Dame Journal of Formal Logic ; volume 40, issue 2 ; ISSN 0029-4527

Record details

Book Review: Michael Resnik. Mathematics as a Science of Patterns

• Authors : Folina, Janet

• Source: Notre Dame Journal of Formal Logic ; volume 40, issue 3 ; ISSN 0029-4527

Record details