Matches in SemOpenAlex for { <https://semopenalex.org/work/W2953012235> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2953012235 abstract "A more careful consideration of the recently introduced Theory of Yaroslav Sergeev, [1], leads to a considerable enlargement of what can constitute possible legitimate mathematical theories by the introduction here of what we may call the {it Syntactic - Semantic Axiomatic Theories in Mathematics}. The usual theories of mathematics, ever since the ancient times of Euclid, are in fact axiomatic, [1,2], which means that they are {it syntactic} logical consequences of certain assumed axioms. In these usual mathematical theories {it semantics} can only play an {it indirect} role which is restricted to the inspiration and motivation that may lead to the formulation of axioms, definitions, and of the proofs of theorems. In a significant contradistinction to that, and as manifestly inspired and motivated by the mentioned Grossone Theory, here a {it direct} involvement of {it semantics} in the construction of axiomatic mathematical theories is presented, an involvement which gives semantics the possibility to act explicitly, effectively, and altogether directly upon the usual syntactic process of constructing the logical consequences of axioms. Two immediate objections to what appears to be an unprecedented and massive expansion of what may now become legitimate mathematical theories given by the {it syntactic - semantic axiomatic theories} introduced here can be the following : the mentioned direct role of semantics may, willingly or not, introduce in mathematical theories one, or both of the eternal taboo-s of {it inconsistency} and {it self-reference}. Fortunately however, such concerns can be alleviated due to recent developments in both inconsistent and self-referential mathematics, [1,2]. Grateful recognition is acknowledged here for long and most useful ongoing related disccussions with Yaroslav Sergeev." @default.
- W2953012235 created "2019-06-27" @default.
- W2953012235 creator A5019379937 @default.
- W2953012235 date "2013-03-01" @default.
- W2953012235 modified "2023-09-24" @default.
- W2953012235 title "Syntactic - Semantic Axiomatic Theories in Mathematics" @default.
- W2953012235 cites W1836512890 @default.
- W2953012235 cites W2185800790 @default.
- W2953012235 hasPublicationYear "2013" @default.
- W2953012235 type Work @default.
- W2953012235 sameAs 2953012235 @default.
- W2953012235 citedByCount "5" @default.
- W2953012235 countsByYear W29530122352013 @default.
- W2953012235 countsByYear W29530122352014 @default.
- W2953012235 countsByYear W29530122352015 @default.
- W2953012235 crossrefType "posted-content" @default.
- W2953012235 hasAuthorship W2953012235A5019379937 @default.
- W2953012235 hasConcept C108710211 @default.
- W2953012235 hasConcept C111472728 @default.
- W2953012235 hasConcept C125773388 @default.
- W2953012235 hasConcept C130327152 @default.
- W2953012235 hasConcept C136119220 @default.
- W2953012235 hasConcept C138885662 @default.
- W2953012235 hasConcept C144237770 @default.
- W2953012235 hasConcept C145420912 @default.
- W2953012235 hasConcept C167729594 @default.
- W2953012235 hasConcept C184337299 @default.
- W2953012235 hasConcept C199343813 @default.
- W2953012235 hasConcept C199360897 @default.
- W2953012235 hasConcept C202444582 @default.
- W2953012235 hasConcept C2524010 @default.
- W2953012235 hasConcept C2777686260 @default.
- W2953012235 hasConcept C33923547 @default.
- W2953012235 hasConcept C41008148 @default.
- W2953012235 hasConcept C71924100 @default.
- W2953012235 hasConceptScore W2953012235C108710211 @default.
- W2953012235 hasConceptScore W2953012235C111472728 @default.
- W2953012235 hasConceptScore W2953012235C125773388 @default.
- W2953012235 hasConceptScore W2953012235C130327152 @default.
- W2953012235 hasConceptScore W2953012235C136119220 @default.
- W2953012235 hasConceptScore W2953012235C138885662 @default.
- W2953012235 hasConceptScore W2953012235C144237770 @default.
- W2953012235 hasConceptScore W2953012235C145420912 @default.
- W2953012235 hasConceptScore W2953012235C167729594 @default.
- W2953012235 hasConceptScore W2953012235C184337299 @default.
- W2953012235 hasConceptScore W2953012235C199343813 @default.
- W2953012235 hasConceptScore W2953012235C199360897 @default.
- W2953012235 hasConceptScore W2953012235C202444582 @default.
- W2953012235 hasConceptScore W2953012235C2524010 @default.
- W2953012235 hasConceptScore W2953012235C2777686260 @default.
- W2953012235 hasConceptScore W2953012235C33923547 @default.
- W2953012235 hasConceptScore W2953012235C41008148 @default.
- W2953012235 hasConceptScore W2953012235C71924100 @default.
- W2953012235 hasLocation W29530122351 @default.
- W2953012235 hasOpenAccess W2953012235 @default.
- W2953012235 hasPrimaryLocation W29530122351 @default.
- W2953012235 hasRelatedWork W110628486 @default.
- W2953012235 hasRelatedWork W1419316667 @default.
- W2953012235 hasRelatedWork W1508574255 @default.
- W2953012235 hasRelatedWork W1540199621 @default.
- W2953012235 hasRelatedWork W1922757889 @default.
- W2953012235 hasRelatedWork W2000838844 @default.
- W2953012235 hasRelatedWork W2012044799 @default.
- W2953012235 hasRelatedWork W2018142441 @default.
- W2953012235 hasRelatedWork W2025229761 @default.
- W2953012235 hasRelatedWork W2047598861 @default.
- W2953012235 hasRelatedWork W2087316706 @default.
- W2953012235 hasRelatedWork W2153509342 @default.
- W2953012235 hasRelatedWork W2316555678 @default.
- W2953012235 hasRelatedWork W2602569433 @default.
- W2953012235 hasRelatedWork W2766028703 @default.
- W2953012235 hasRelatedWork W2938853521 @default.
- W2953012235 hasRelatedWork W3159600721 @default.
- W2953012235 hasRelatedWork W3189427199 @default.
- W2953012235 hasRelatedWork W814285252 @default.
- W2953012235 hasRelatedWork W964415211 @default.
- W2953012235 isParatext "false" @default.
- W2953012235 isRetracted "false" @default.
- W2953012235 magId "2953012235" @default.
- W2953012235 workType "article" @default.