Titlebook: Cultures of Mathematics and Logic; Selected Papers from Shier Ju,Benedikt L?we,Yun Xie Conference proceedings 2016 Springer International P

上流社會

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

縮減了

ear-canal

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

engrossed

https://doi.org/10.1007/978-3-319-31502-7cultures of mathematics; cultures of logic; philosophy of mathematical practice; empirical philosophy o

輪流

使腐爛

,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

脆弱帶來

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

Ceramic