Reverse Mathematics: Proofs from the Inside Out

被引：0

|

作者：

Eastaugh, Benedict ^{[1
]}

机构：

[1] Ludwig Maximilians Univ Munchen, Munich Ctr Math Philosophy, D-80539 Munich, Germany

来源：

PHILOSOPHIA MATHEMATICA | 2020年 / 28卷 / 01期

关键词：

D O I：

10.1093/philmat/nkaa003

中图分类号：

N09 [自然科学史]; B [哲学、宗教];

学科分类号：

01 ; 0101 ; 010108 ; 060207 ; 060305 ; 0712 ;

摘要：

引用

收藏

页码：108 / 116

页数：10

相关论文

共 50 条

[1] Reverse mathematics: proofs from the inside out
Hoare, Graham
MATHEMATICAL GAZETTE, 2021, 105 (564): : 571 - 572
[2] Reverse Mathematics: Problems, Reductions, and Proofs.
Conidis, Chris J.
BULLETIN OF SYMBOLIC LOGIC, 2023, 29 (04) : 660 - 662
[3] Reverse Mathematics and Uniformity in Proofs without Excluded Middle
Hirst, Jeffry L.
Mummert, Carl
NOTRE DAME JOURNAL OF FORMAL LOGIC, 2011, 52 (02) : 149 - 162
[4] Reverse Mathematics: Proofs from the Inside Out by John StillwellPRINCETON: PRINCETON UNIVERSITY PRESS, 2018, XI + 182PP., US $24.95, ISBN: 978-0-691-17717-5
Roman Kossak
The Mathematical Intelligencer, 2019, 41 (1) : 81 - 82
[5] From 'proofs without words' to 'proofs that explain' in secondary mathematics
Gierdien, M. Faaiz
PYTHAGORAS, 2007, (65) : 53 - 62
[6] Lifting proofs from countable to uncountable mathematics
Sanders, Sam
INFORMATION AND COMPUTATION, 2022, 287
[7] From the inside out
Palmer, R
ENVIRONMENTAL VALUES, 2000, 9 (04) : 411 - 418
[8] FROM THE INSIDE OUT
Walz, Robert Henry
ARCHITECTURAL DIGEST, 2011, 68 (03) : 40 - 40
[9] From the Inside Out
Ganz, David
VERBORGEN, UNSICHTBAR, UNLESBAR - ZUR PROBLEMATIK RESTRINGIERTER SCHRIFTPRASENZ, 2014, 2 : 85 - 116
[10] From the Inside Out
Hunt, Mary Ellen
DANCE MAGAZINE, 2014, 88 (07): : 52 - 53

← 1 2 3 4 5 →