FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W4312331337> ?p ?o ?g. }

• W4312331337 endingPage "183" @default.
• W4312331337 startingPage "165" @default.
• W4312331337 abstract "AbstractThe rigor of mathematics lies in its systematic organization that supports conclusive proofs of assertions on the basis of assumed principles. Proofs are constructed through thinking, but they can also be taken as objects of mathematical thought. That was the insight prompting Hilbert’s call for a theory of the specifically mathematical proof in 1917. This pivotal idea was rooted in revolutionary developments in mathematics and logic during the second half of the 19-th century; it also shaped the new field of mathematical logic and grounded, in particular, Hilbert’s proof theory. The derivations in logical calculi were taken as formal images of proofs and thus, through the formalization of mathematics, as tools for developing a theory of mathematical proofs. These initial ideas for proof theory have been reawakened by a confluence of investigations in the tradition of Gentzen’s work on natural reasoning, interactive verifications of theorems, and implementations of mechanisms that search for proofs. At this intersection of proof theory, interactive theorem proving, and automated proof search one finds a promising avenue for exploring the structure of mathematical thought. I will detail steps down this avenue: the formal representation of proofs in appropriate mathematical frames is akin to the representation of physical phenomena in mathematical theories; an important dynamic aspect is captured through the articulation of bi-directional and strategically guided procedures for constructing proofs." @default.
• W4312331337 created "2023-01-04" @default.
• W4312331337 creator A5023409888 @default.
• W4312331337 date "2022-01-01" @default.
• W4312331337 modified "2023-09-27" @default.
• W4312331337 title "Proofs as Objects" @default.
• W4312331337 cites W1544720236 @default.
• W4312331337 cites W1991697528 @default.
• W4312331337 cites W1992351542 @default.
• W4312331337 cites W2000969319 @default.
• W4312331337 cites W2023139438 @default.
• W4312331337 cites W2037693339 @default.
• W4312331337 cites W2071402192 @default.
• W4312331337 cites W2085335923 @default.
• W4312331337 cites W2144732342 @default.
• W4312331337 cites W2148404674 @default.
• W4312331337 cites W2330723555 @default.
• W4312331337 cites W2413604966 @default.
• W4312331337 cites W2464901709 @default.
• W4312331337 cites W2486215650 @default.
• W4312331337 cites W2519151026 @default.
• W4312331337 cites W2578086236 @default.
• W4312331337 cites W2810993315 @default.
• W4312331337 cites W2909229158 @default.
• W4312331337 cites W2982918323 @default.
• W4312331337 cites W3191531957 @default.
• W4312331337 cites W4205398787 @default.
• W4312331337 cites W4232390089 @default.
• W4312331337 cites W4238292764 @default.
• W4312331337 cites W4244319301 @default.
• W4312331337 doi "https://doi.org/10.1007/978-3-030-77657-2_9" @default.
• W4312331337 hasPublicationYear "2022" @default.
• W4312331337 type Work @default.
• W4312331337 citedByCount "0" @default.
• W4312331337 crossrefType "book-chapter" @default.
• W4312331337 hasAuthorship W4312331337A5023409888 @default.
• W4312331337 hasConcept C105605280 @default.
• W4312331337 hasConcept C108710211 @default.
• W4312331337 hasConcept C11413529 @default.
• W4312331337 hasConcept C121332964 @default.
• W4312331337 hasConcept C127413603 @default.
• W4312331337 hasConcept C136119220 @default.
• W4312331337 hasConcept C145420912 @default.
• W4312331337 hasConcept C146978453 @default.
• W4312331337 hasConcept C173613240 @default.
• W4312331337 hasConcept C17744445 @default.
• W4312331337 hasConcept C195653647 @default.
• W4312331337 hasConcept C199343813 @default.
• W4312331337 hasConcept C199360897 @default.
• W4312331337 hasConcept C199539241 @default.
• W4312331337 hasConcept C202444582 @default.
• W4312331337 hasConcept C203265346 @default.
• W4312331337 hasConcept C206880738 @default.
• W4312331337 hasConcept C2318724 @default.
• W4312331337 hasConcept C2524010 @default.
• W4312331337 hasConcept C2776359362 @default.
• W4312331337 hasConcept C2777686260 @default.
• W4312331337 hasConcept C2779193601 @default.
• W4312331337 hasConcept C2780506305 @default.
• W4312331337 hasConcept C33923547 @default.
• W4312331337 hasConcept C41008148 @default.
• W4312331337 hasConcept C47884741 @default.
• W4312331337 hasConcept C62073222 @default.
• W4312331337 hasConcept C62520636 @default.
• W4312331337 hasConcept C64543145 @default.
• W4312331337 hasConcept C71924100 @default.
• W4312331337 hasConcept C80444323 @default.
• W4312331337 hasConcept C94625758 @default.
• W4312331337 hasConceptScore W4312331337C105605280 @default.
• W4312331337 hasConceptScore W4312331337C108710211 @default.
• W4312331337 hasConceptScore W4312331337C11413529 @default.
• W4312331337 hasConceptScore W4312331337C121332964 @default.
• W4312331337 hasConceptScore W4312331337C127413603 @default.
• W4312331337 hasConceptScore W4312331337C136119220 @default.
• W4312331337 hasConceptScore W4312331337C145420912 @default.
• W4312331337 hasConceptScore W4312331337C146978453 @default.
• W4312331337 hasConceptScore W4312331337C173613240 @default.
• W4312331337 hasConceptScore W4312331337C17744445 @default.
• W4312331337 hasConceptScore W4312331337C195653647 @default.
• W4312331337 hasConceptScore W4312331337C199343813 @default.
• W4312331337 hasConceptScore W4312331337C199360897 @default.
• W4312331337 hasConceptScore W4312331337C199539241 @default.
• W4312331337 hasConceptScore W4312331337C202444582 @default.
• W4312331337 hasConceptScore W4312331337C203265346 @default.
• W4312331337 hasConceptScore W4312331337C206880738 @default.
• W4312331337 hasConceptScore W4312331337C2318724 @default.
• W4312331337 hasConceptScore W4312331337C2524010 @default.
• W4312331337 hasConceptScore W4312331337C2776359362 @default.
• W4312331337 hasConceptScore W4312331337C2777686260 @default.
• W4312331337 hasConceptScore W4312331337C2779193601 @default.
• W4312331337 hasConceptScore W4312331337C2780506305 @default.
• W4312331337 hasConceptScore W4312331337C33923547 @default.
• W4312331337 hasConceptScore W4312331337C41008148 @default.
• W4312331337 hasConceptScore W4312331337C47884741 @default.
• W4312331337 hasConceptScore W4312331337C62073222 @default.
• W4312331337 hasConceptScore W4312331337C62520636 @default.
• W4312331337 hasConceptScore W4312331337C64543145 @default.
• W4312331337 hasConceptScore W4312331337C71924100 @default.

• next