首页
学术期刊
论文检测
AIGC检测
热点
更多
数据
PROOFS AND MATHEMATICAL EXPERIENCE
被引:0
|
作者
:
LOLLI, G
论文数:
0
引用数:
0
h-index:
0
LOLLI, G
机构
:
来源
:
SCIENTIA
|
1982年
/ 117卷
/ 9-12期
关键词
:
D O I
:
暂无
中图分类号
:
N09 [自然科学史];
B [哲学、宗教];
学科分类号
:
01 ;
0101 ;
010108 ;
060207 ;
060305 ;
0712 ;
摘要
:
引用
收藏
页码:501 / 514
页数:14
相关论文
共 50 条
[21]
Structured design with mathematical proofs
Chiang, CC
论文数:
0
引用数:
0
h-index:
0
Chiang, CC
INFORMATION AND SOFTWARE TECHNOLOGY,
1997,
39
(10)
: 669
-
677
[22]
Intentional gaps in mathematical proofs
Fallis, D
论文数:
0
引用数:
0
h-index:
0
机构:
Univ Arizona, Sch Informat Resources, Tucson, AZ 85719 USA
Univ Arizona, Sch Informat Resources, Tucson, AZ 85719 USA
Fallis, D
SYNTHESE,
2003,
134
(1-2)
: 45
-
69
[23]
On mathematical proofs of the vacuity of compositionality
westerståhl D.
论文数:
0
引用数:
0
h-index:
0
机构:
Department of Philosophy, Stockholm University, Stockholm
Department of Philosophy, Stockholm University, Stockholm
westerståhl D.
Linguistics and Philosophy,
1998,
21
(6)
: 635
-
643
[24]
The Arbitrariness of Symmetry in Mathematical Proofs
Vivanco, Melisa
论文数:
0
引用数:
0
h-index:
0
机构:
Univ Texas Rio Grande Valley, Philosophy Dept, Edinburg, TX 78539 USA
Univ Texas Rio Grande Valley, Philosophy Dept, Edinburg, TX 78539 USA
Vivanco, Melisa
REVISTA DE HUMANIDADES DE VALPARAISO-RHV,
2024,
(25):
: 129
-
148
[25]
Strategic Maneuvering in Mathematical Proofs
Erik C. W. Krabbe
论文数:
0
引用数:
0
h-index:
0
机构:
University of Groningen,Faculty of Philosophy
Erik C. W. Krabbe
Argumentation,
2008,
22
: 453
-
468
[26]
MATHEMATICAL PROOFS, GAPS AND POSTULATIONISM
LEHMAN, H
论文数:
0
引用数:
0
h-index:
0
LEHMAN, H
MONIST,
1984,
67
(01):
: 108
-
114
[27]
Granularity Analysis for Mathematical Proofs
Schiller, Marvin R. G.
论文数:
0
引用数:
0
h-index:
0
机构:
Univ Ulm, Inst Artificial Intelligence, D-89069 Ulm, Germany
Univ Ulm, Inst Artificial Intelligence, D-89069 Ulm, Germany
Schiller, Marvin R. G.
TOPICS IN COGNITIVE SCIENCE,
2013,
5
(02)
: 251
-
269
[28]
Presenting inequations in mathematical proofs
Fehrer, D
论文数:
0
引用数:
0
h-index:
0
机构:
SICK AG, Software Engn, D-79183 Waldkirch, Germany
Fehrer, D
Horacek, H
论文数:
0
引用数:
0
h-index:
0
机构:
SICK AG, Software Engn, D-79183 Waldkirch, Germany
Horacek, H
INFORMATION SCIENCES,
1999,
116
(01)
: 3
-
23
[29]
Acceptable gaps in mathematical proofs
Line Edslev Andersen
论文数:
0
引用数:
0
h-index:
0
机构:
Aarhus University,Centre for Science Studies, Department of Mathematics
Line Edslev Andersen
Synthese,
2020,
197
: 233
-
247
[30]
Informal Proofs and Mathematical Rigour
Marianna Antonutti Marfori
论文数:
0
引用数:
0
h-index:
0
机构:
University of Bristol,Department of Philosophy
Marianna Antonutti Marfori
Studia Logica,
2010,
96
: 261
-
272
←
1
2
3
4
5
→