LAVA
发表于 2025-3-23 13:30:49
Software as Science—Science as Softwarethe proof can be represented as a reasonably small knot-like diagram (a new representation as a labeled tangle diagram), which can be easily inspected by a human for the purposes of checking the proof and finding out interesting facts about the knot diagram.
jaunty
发表于 2025-3-23 16:41:16
http://reply.papertrans.cn/28/2709/270824/270824_12.png
虚构的东西
发表于 2025-3-23 18:03:45
http://reply.papertrans.cn/28/2709/270824/270824_13.png
landmark
发表于 2025-3-24 01:53:53
Were “Super-Turing” Diagrammatic Reasoning Mechanisms Ancient Products of Biological Evolution? intrinsic connections between many everyday actions and mathematical competences, e.g. competences concerned with the fact that organisms inhabit environments with complex mathematical structures, some produced by activities of life forms, others not. I’ll present a variety of examples, to be discu
Monolithic
发表于 2025-3-24 04:16:40
http://reply.papertrans.cn/28/2709/270824/270824_15.png
打击
发表于 2025-3-24 06:51:33
Peirce on Diagrammatic Reasoning and Semeioticogic. He did it firstly (from 1860 on) in the algebraic tradition of mathematical logic stemming from Boole, combining it with the logic of relations, explicitly developed by Augustus De Morgan. From this, Peirce obtained a system that included quantifiers—a term he seems to have invented—and relati
罐里有戒指
发表于 2025-3-24 12:51:19
http://reply.papertrans.cn/28/2709/270824/270824_17.png
Pudendal-Nerve
发表于 2025-3-24 18:54:18
Carroll Diagrams: Design and Manipulation in recent literature. The objective of this tutorial is to expose the working of Carroll’s diagrams and their significance from a triple perspective: historical, mathematical and philosophical. The diagrams are exposed, worked out and compared to Euler-Venn diagrams. These schemes are used to solve
不能约
发表于 2025-3-24 21:29:12
Generating Effective Euler Diagramsion. Various properties of Euler diagrams have been empirically shown to aid, or hinder, their comprehension by users. Therefore, a key goal is to automatically generate Euler diagrams that possess beneficial layout features whilst avoiding those that are a hindrance. The automated layout techniques
kidney
发表于 2025-3-25 02:20:58
http://reply.papertrans.cn/28/2709/270824/270824_20.png