Transfusion
发表于 2025-3-28 15:26:09
Sebastian Kirchner,Thomas Breyer-Mayländerc part of logic. The foundations of such a theory were laid down by Aristotle through his theory of syllogism. The modern approach to the subject is due to Gentzen (1934-5) who proposed two different analyses of deduction:
保守
发表于 2025-3-28 22:25:12
https://doi.org/10.1007/978-3-322-93511-3t Leibniz seems to have recognised that the creation of a mathematically precise universal language for the expression of arbitrary statements (.) is related to the development of a sufficiently general concept of calculus (.), in which scientific problems can be decided in a purely formal, algorithmic way
圆桶
发表于 2025-3-29 01:55:05
https://doi.org/10.1007/978-3-322-93511-3r hand, a foundation of mathematics is something more than just an axiomatization of mathematics. It is also concerned with the nature of the basis upon which mathematics is to be built. A foundation takes a stand upon the question what kind of basis is appropriate.
Gene408
发表于 2025-3-29 06:09:33
http://reply.papertrans.cn/20/1908/190782/190782_44.png
从属
发表于 2025-3-29 10:27:43
Market Entry and Market Partitiondynamics of objective probabilities, which evolve in time, constrained by symmetries which induce conservation laws. This topic I shall leave aside here, to concentrate on rational change of opinion, probabilistically conceived.
Inscrutable
发表于 2025-3-29 14:36:45
http://reply.papertrans.cn/20/1908/190782/190782_46.png
放纵
发表于 2025-3-29 16:28:28
Complexity of Logical Decision Problems: An Introductiont Leibniz seems to have recognised that the creation of a mathematically precise universal language for the expression of arbitrary statements (.) is related to the development of a sufficiently general concept of calculus (.), in which scientific problems can be decided in a purely formal, algorithmic way
牙齿
发表于 2025-3-29 22:30:04
Remarks on Hilbert’s Program for the Foundation of Mathematicsr hand, a foundation of mathematics is something more than just an axiomatization of mathematics. It is also concerned with the nature of the basis upon which mathematics is to be built. A foundation takes a stand upon the question what kind of basis is appropriate.
aristocracy
发表于 2025-3-30 03:30:24
http://reply.papertrans.cn/20/1908/190782/190782_49.png
right-atrium
发表于 2025-3-30 06:41:04
Symmetries of Probability Kinematicsdynamics of objective probabilities, which evolve in time, constrained by symmetries which induce conservation laws. This topic I shall leave aside here, to concentrate on rational change of opinion, probabilistically conceived.