上流社会
发表于 2025-3-23 10:16:09
Conference proceedings 2016ofinterdisciplinary, international conferences emphasizing the culturalcomponents of philosophy of mathematics and logic. It brought togetherresearchers from many disciplines whose work sheds new light on the diversityof mathematical and logical cultures and practices. In this context, thecultural d
缩减了
发表于 2025-3-23 16:51:18
http://reply.papertrans.cn/25/2411/241056/241056_12.png
ear-canal
发表于 2025-3-23 18:53:35
https://doi.org/10.1007/978-1-349-27913-5 programming style. More generally, I show that abstract concepts, such as currying or the semantics of programming languages, can be transposed from theoretical computer science to the historical description of the practice of computing tools.
Definitive
发表于 2025-3-24 00:35:22
http://reply.papertrans.cn/25/2411/241056/241056_14.png
engrossed
发表于 2025-3-24 05:18:57
https://doi.org/10.1007/978-3-319-31502-7cultures of mathematics; cultures of logic; philosophy of mathematical practice; empirical philosophy o
轮流
发表于 2025-3-24 09:35:24
http://reply.papertrans.cn/25/2411/241056/241056_16.png
使腐烂
发表于 2025-3-24 14:23:26
,The Bitter Cry of Outcast Women, 1900–1914,ices to use. Rather, there are many imperfect candidates. One reason for this diversity is there is a tension between the material and ideal aspects of culture that different conceptions manage in different ways. Second, normativity is unavoidable, even in those studies that attempt to use resolutel
脆弱带来
发表于 2025-3-24 16:22:20
https://doi.org/10.1007/978-1-349-27913-5alculating tools. The Chinese abacus actually follows a functional programming paradigm, while the ancient Chinese counting rods display an imperative programming style. More generally, I show that abstract concepts, such as currying or the semantics of programming languages, can be transposed from
Resign
发表于 2025-3-24 19:13:06
http://reply.papertrans.cn/25/2411/241056/241056_19.png
Ceramic
发表于 2025-3-24 23:18:47
http://reply.papertrans.cn/25/2411/241056/241056_20.png