Matches in SemOpenAlex for { <https://semopenalex.org/work/W4285397340> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W4285397340 abstract "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." @default.
- W4285397340 created "2022-07-14" @default.
- W4285397340 creator A5020985134 @default.
- W4285397340 creator A5034875864 @default.
- W4285397340 creator A5034984471 @default.
- W4285397340 creator A5040623453 @default.
- W4285397340 creator A5053052255 @default.
- W4285397340 creator A5055110324 @default.
- W4285397340 creator A5059255533 @default.
- W4285397340 creator A5067104024 @default.
- W4285397340 creator A5086565312 @default.
- W4285397340 creator A5089059013 @default.
- W4285397340 date "2022-07-08" @default.
- W4285397340 modified "2023-10-14" @default.
- W4285397340 title "Mathematical Proof Between Generations" @default.
- W4285397340 doi "https://doi.org/10.48550/arxiv.2207.04779" @default.
- W4285397340 hasPublicationYear "2022" @default.
- W4285397340 type Work @default.
- W4285397340 citedByCount "0" @default.
- W4285397340 crossrefType "posted-content" @default.
- W4285397340 hasAuthorship W4285397340A5020985134 @default.
- W4285397340 hasAuthorship W4285397340A5034875864 @default.
- W4285397340 hasAuthorship W4285397340A5034984471 @default.
- W4285397340 hasAuthorship W4285397340A5040623453 @default.
- W4285397340 hasAuthorship W4285397340A5053052255 @default.
- W4285397340 hasAuthorship W4285397340A5055110324 @default.
- W4285397340 hasAuthorship W4285397340A5059255533 @default.
- W4285397340 hasAuthorship W4285397340A5067104024 @default.
- W4285397340 hasAuthorship W4285397340A5086565312 @default.
- W4285397340 hasAuthorship W4285397340A5089059013 @default.
- W4285397340 hasBestOaLocation W42853973401 @default.
- W4285397340 hasConcept C105605280 @default.
- W4285397340 hasConcept C108710211 @default.
- W4285397340 hasConcept C111472728 @default.
- W4285397340 hasConcept C111919701 @default.
- W4285397340 hasConcept C124978682 @default.
- W4285397340 hasConcept C132010649 @default.
- W4285397340 hasConcept C138885662 @default.
- W4285397340 hasConcept C145420912 @default.
- W4285397340 hasConcept C173613240 @default.
- W4285397340 hasConcept C199343813 @default.
- W4285397340 hasConcept C203265346 @default.
- W4285397340 hasConcept C2524010 @default.
- W4285397340 hasConcept C2777686260 @default.
- W4285397340 hasConcept C2780506305 @default.
- W4285397340 hasConcept C33923547 @default.
- W4285397340 hasConcept C41008148 @default.
- W4285397340 hasConcept C71924100 @default.
- W4285397340 hasConceptScore W4285397340C105605280 @default.
- W4285397340 hasConceptScore W4285397340C108710211 @default.
- W4285397340 hasConceptScore W4285397340C111472728 @default.
- W4285397340 hasConceptScore W4285397340C111919701 @default.
- W4285397340 hasConceptScore W4285397340C124978682 @default.
- W4285397340 hasConceptScore W4285397340C132010649 @default.
- W4285397340 hasConceptScore W4285397340C138885662 @default.
- W4285397340 hasConceptScore W4285397340C145420912 @default.
- W4285397340 hasConceptScore W4285397340C173613240 @default.
- W4285397340 hasConceptScore W4285397340C199343813 @default.
- W4285397340 hasConceptScore W4285397340C203265346 @default.
- W4285397340 hasConceptScore W4285397340C2524010 @default.
- W4285397340 hasConceptScore W4285397340C2777686260 @default.
- W4285397340 hasConceptScore W4285397340C2780506305 @default.
- W4285397340 hasConceptScore W4285397340C33923547 @default.
- W4285397340 hasConceptScore W4285397340C41008148 @default.
- W4285397340 hasConceptScore W4285397340C71924100 @default.
- W4285397340 hasLocation W42853973401 @default.
- W4285397340 hasOpenAccess W4285397340 @default.
- W4285397340 hasPrimaryLocation W42853973401 @default.
- W4285397340 hasRelatedWork W1496026483 @default.
- W4285397340 hasRelatedWork W1548568192 @default.
- W4285397340 hasRelatedWork W1561664087 @default.
- W4285397340 hasRelatedWork W1614097270 @default.
- W4285397340 hasRelatedWork W187835144 @default.
- W4285397340 hasRelatedWork W1995764922 @default.
- W4285397340 hasRelatedWork W2263677784 @default.
- W4285397340 hasRelatedWork W2408514828 @default.
- W4285397340 hasRelatedWork W3196023996 @default.
- W4285397340 hasRelatedWork W2963408011 @default.
- W4285397340 isParatext "false" @default.
- W4285397340 isRetracted "false" @default.
- W4285397340 workType "article" @default.