larder 发表于 2025-3-23 10:09:38

http://reply.papertrans.cn/15/1406/140572/140572_11.png

值得赞赏 发表于 2025-3-23 14:07:04

Agent-Based Software Engineeringim that mathematical knowledge can be extended by means of the axiomatic method is almost equivalent to confuting the claim that science can be automated. I argue that the axiomatic view is inadequate as a view of the method of mathematics and that the analytic view is to be preferred. But, if the m

Heart-Rate 发表于 2025-3-23 18:41:39

http://reply.papertrans.cn/15/1406/140572/140572_13.png

inspired 发表于 2025-3-23 23:22:52

https://doi.org/10.1007/3-540-36540-0adually dispense human beings from scientific work. In this paper, I will show that this view is problematic, at least when ML is applied to biology. In particular, I will claim that .. Computer scientists conceive their work as being a case of Aristotle’s . perfected by ., which can be reduced to a

无瑕疵 发表于 2025-3-24 05:44:09

http://reply.papertrans.cn/15/1406/140572/140572_15.png

誓言 发表于 2025-3-24 07:31:53

http://reply.papertrans.cn/15/1406/140572/140572_16.png

BARGE 发表于 2025-3-24 12:08:21

http://reply.papertrans.cn/15/1406/140572/140572_17.png

degradation 发表于 2025-3-24 18:31:01

http://reply.papertrans.cn/15/1406/140572/140572_18.png

雪白 发表于 2025-3-24 20:22:34

http://reply.papertrans.cn/15/1406/140572/140572_19.png

猜忌 发表于 2025-3-25 00:55:37

http://reply.papertrans.cn/15/1406/140572/140572_20.png
页: 1 [2] 3 4 5 6
查看完整版本: Titlebook: A Critical Reflection on Automated Science; Will Science Remain Marta Bertolaso,Fabio Sterpetti Book 2020 Springer Nature Switzerland AG 2