Matches in SemOpenAlex for { <https://semopenalex.org/work/W2746201319> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2746201319 abstract "This article follows on the introductory article “Direct Logic for Intelligent Applications” [Hewitt 2017a]. Strong Types enable new mathematical theorems to be proved including the Formal Consistency of Mathematics. Also, Strong Types are extremely important in Direct Logic because they block all know paradoxes[Cantini and Bruni 2017]. Blocking known paradoxes makes Direct Logic safer for use in Intelligent Applications by preventing security holes. Inconsistency Robustness is performance of information systems with pervasively inconsistent information. Inconsistency Robustness of the community of professional mathematicians is their performance repeatedly repairing contradictions over the centuries. In the Inconsistency Robustness paradigm, deriving contradictions has been a progressive development and not “game stoppers.” Contradictions can be helpful instead of being something to be “swept under the rug” by denying their existence, which has been repeatedly attempted by authoritarian theoreticians (beginning with some Pythagoreans). Such denial has delayed mathematical development. This article reports how considerations of Inconsistency Robustness have recently influenced the foundations of mathematics for Computer Science continuing a tradition developing the sociological basis for foundations. Mathematics here means the common foundation of all classical mathematical theories from Euclid to the mathematics used to prove Fermat's Last [McLarty 2010]. Good evidence for the consistency Classical Direct Logic derives from how it blocks the known paradoxes of classical mathematics. Humans have spent millennia devising paradoxes for classical mathematics. Having a powerful system like Direct Logic is important in computer science because computers must be able to formalize all logical inferences (including inferences about their own inference processes) without requiring recourse to human intervention. Any inconsistency in Classical Direct Logic would be a potential security hole because it could be used to cause computer systems to adopt invalid conclusions." @default.
- W2746201319 created "2017-08-31" @default.
- W2746201319 creator A5070305275 @default.
- W2746201319 date "2017-03-30" @default.
- W2746201319 modified "2023-09-24" @default.
- W2746201319 title "Strong Types for Direct Logic" @default.
- W2746201319 cites W1541665809 @default.
- W2746201319 cites W1983057232 @default.
- W2746201319 cites W2026858610 @default.
- W2746201319 cites W2063380184 @default.
- W2746201319 cites W2209789583 @default.
- W2746201319 cites W2313950537 @default.
- W2746201319 cites W2333976070 @default.
- W2746201319 cites W2753533763 @default.
- W2746201319 cites W2794374395 @default.
- W2746201319 cites W6616102 @default.
- W2746201319 hasPublicationYear "2017" @default.
- W2746201319 type Work @default.
- W2746201319 sameAs 2746201319 @default.
- W2746201319 citedByCount "0" @default.
- W2746201319 crossrefType "journal-article" @default.
- W2746201319 hasAuthorship W2746201319A5070305275 @default.
- W2746201319 hasConcept C104317684 @default.
- W2746201319 hasConcept C111472728 @default.
- W2746201319 hasConcept C138885662 @default.
- W2746201319 hasConcept C145420912 @default.
- W2746201319 hasConcept C154945302 @default.
- W2746201319 hasConcept C180937797 @default.
- W2746201319 hasConcept C183140480 @default.
- W2746201319 hasConcept C185592680 @default.
- W2746201319 hasConcept C199360897 @default.
- W2746201319 hasConcept C2776214188 @default.
- W2746201319 hasConcept C2781302003 @default.
- W2746201319 hasConcept C32241873 @default.
- W2746201319 hasConcept C33923547 @default.
- W2746201319 hasConcept C41008148 @default.
- W2746201319 hasConcept C55493867 @default.
- W2746201319 hasConcept C63479239 @default.
- W2746201319 hasConcept C80444323 @default.
- W2746201319 hasConceptScore W2746201319C104317684 @default.
- W2746201319 hasConceptScore W2746201319C111472728 @default.
- W2746201319 hasConceptScore W2746201319C138885662 @default.
- W2746201319 hasConceptScore W2746201319C145420912 @default.
- W2746201319 hasConceptScore W2746201319C154945302 @default.
- W2746201319 hasConceptScore W2746201319C180937797 @default.
- W2746201319 hasConceptScore W2746201319C183140480 @default.
- W2746201319 hasConceptScore W2746201319C185592680 @default.
- W2746201319 hasConceptScore W2746201319C199360897 @default.
- W2746201319 hasConceptScore W2746201319C2776214188 @default.
- W2746201319 hasConceptScore W2746201319C2781302003 @default.
- W2746201319 hasConceptScore W2746201319C32241873 @default.
- W2746201319 hasConceptScore W2746201319C33923547 @default.
- W2746201319 hasConceptScore W2746201319C41008148 @default.
- W2746201319 hasConceptScore W2746201319C55493867 @default.
- W2746201319 hasConceptScore W2746201319C63479239 @default.
- W2746201319 hasConceptScore W2746201319C80444323 @default.
- W2746201319 hasLocation W27462013191 @default.
- W2746201319 hasOpenAccess W2746201319 @default.
- W2746201319 hasPrimaryLocation W27462013191 @default.
- W2746201319 hasRelatedWork W1485002130 @default.
- W2746201319 hasRelatedWork W148711057 @default.
- W2746201319 hasRelatedWork W150787716 @default.
- W2746201319 hasRelatedWork W1583140225 @default.
- W2746201319 hasRelatedWork W1795662337 @default.
- W2746201319 hasRelatedWork W183245590 @default.
- W2746201319 hasRelatedWork W1897520210 @default.
- W2746201319 hasRelatedWork W2047598861 @default.
- W2746201319 hasRelatedWork W2055038368 @default.
- W2746201319 hasRelatedWork W205840320 @default.
- W2746201319 hasRelatedWork W2083788635 @default.
- W2746201319 hasRelatedWork W2112113472 @default.
- W2746201319 hasRelatedWork W2182734194 @default.
- W2746201319 hasRelatedWork W2205990479 @default.
- W2746201319 hasRelatedWork W2296195304 @default.
- W2746201319 hasRelatedWork W2600032803 @default.
- W2746201319 hasRelatedWork W2602569433 @default.
- W2746201319 hasRelatedWork W2973732420 @default.
- W2746201319 hasRelatedWork W3137150068 @default.
- W2746201319 hasRelatedWork W3147644053 @default.
- W2746201319 hasVolume "52" @default.
- W2746201319 isParatext "false" @default.
- W2746201319 isRetracted "false" @default.
- W2746201319 magId "2746201319" @default.
- W2746201319 workType "article" @default.