∅
TGlist rating
0
0
TypePublic
Verification
Not verifiedTrust
Not trustedLocation
LanguageOther
Channel creation dateApr 11, 2021
Added to TGlist
Jun 27, 2024Subscribers
388
24 hours00%Week
2-0.5%Month
71.9%
Citation index
0
Mentions0Shares on channels0Mentions on channels0
Average views per post
154
12 hours1220%24 hours1540%48 hours1600%
Engagement rate (ER)
12.34%
Reposts7Comments0Reactions12
Engagement rate by reach (ERR)
0%
24 hours
39.69%Week
4.62%Month0%
Average views per ad post
189
1 hour00%1 – 4 hours00%4 - 24 hours00%
Total posts in 24 hours
2
Dynamic
2
Latest posts in group "∅"
13.05.202513:21
06.05.202503:08
04.05.202501:07
04.05.202501:06
28.04.202509:39
26.04.202511:48
Reposted from:
the proof is by magic.
24.04.202521:55
https://arxiv.org/abs/2207.04779
«A proof is one of the most important concepts of mathematics. However, there is a striking difference between how a proof is defined in theory and how it is used in practice. This puts the unique status of mathematics as exact science into peril. Now may be the time to reconcile theory and practice, i.e. precision and intuition, through the advent of computer proof assistants. For the most time this has been a topic for experts in specialized communities. However, mathematical proofs have become increasingly sophisticated, stretching the boundaries of what is humanly comprehensible, so that leading mathematicians have asked for formal verification of their proofs. At the same time, major theorems in mathematics have recently been computer-verified by people from outside of these communities, even by beginning students. This article investigates the gap between the different definitions of a proof and possibilities to build bridges. It is written as a polemic or a collage by different members of the communities in mathematics and computer science at different stages of their careers, challenging well-known preconceptions and exploring new perspectives.»
«A proof is one of the most important concepts of mathematics. However, there is a striking difference between how a proof is defined in theory and how it is used in practice. This puts the unique status of mathematics as exact science into peril. Now may be the time to reconcile theory and practice, i.e. precision and intuition, through the advent of computer proof assistants. For the most time this has been a topic for experts in specialized communities. However, mathematical proofs have become increasingly sophisticated, stretching the boundaries of what is humanly comprehensible, so that leading mathematicians have asked for formal verification of their proofs. At the same time, major theorems in mathematics have recently been computer-verified by people from outside of these communities, even by beginning students. This article investigates the gap between the different definitions of a proof and possibilities to build bridges. It is written as a polemic or a collage by different members of the communities in mathematics and computer science at different stages of their careers, challenging well-known preconceptions and exploring new perspectives.»
21.04.202513:21
21.04.202509:52
10.04.202516:23
10.04.202511:46
Records
04.05.202523:59
390Subscribers28.05.202423:59
0Citation index28.06.202423:59
299Average views per post04.04.202517:29
193Average views per ad post13.05.202503:20
19.05%ER15.12.202404:58
54.28%ERR28.04.202509:39
21.04.202509:52
Reposted from:the proof is by magic.
24.04.202521:55
https://arxiv.org/abs/2207.04779
«A proof is one of the most important concepts of mathematics. However, there is a striking difference between how a proof is defined in theory and how it is used in practice. This puts the unique status of mathematics as exact science into peril. Now may be the time to reconcile theory and practice, i.e. precision and intuition, through the advent of computer proof assistants. For the most time this has been a topic for experts in specialized communities. However, mathematical proofs have become increasingly sophisticated, stretching the boundaries of what is humanly comprehensible, so that leading mathematicians have asked for formal verification of their proofs. At the same time, major theorems in mathematics have recently been computer-verified by people from outside of these communities, even by beginning students. This article investigates the gap between the different definitions of a proof and possibilities to build bridges. It is written as a polemic or a collage by different members of the communities in mathematics and computer science at different stages of their careers, challenging well-known preconceptions and exploring new perspectives.»
«A proof is one of the most important concepts of mathematics. However, there is a striking difference between how a proof is defined in theory and how it is used in practice. This puts the unique status of mathematics as exact science into peril. Now may be the time to reconcile theory and practice, i.e. precision and intuition, through the advent of computer proof assistants. For the most time this has been a topic for experts in specialized communities. However, mathematical proofs have become increasingly sophisticated, stretching the boundaries of what is humanly comprehensible, so that leading mathematicians have asked for formal verification of their proofs. At the same time, major theorems in mathematics have recently been computer-verified by people from outside of these communities, even by beginning students. This article investigates the gap between the different definitions of a proof and possibilities to build bridges. It is written as a polemic or a collage by different members of the communities in mathematics and computer science at different stages of their careers, challenging well-known preconceptions and exploring new perspectives.»
Log in to unlock more functionality.
