Matches in SemOpenAlex for { <https://semopenalex.org/work/W2019162036> ?p ?o ?g. }
Showing items 1 to 62 of
62
with 100 items per page.
- W2019162036 endingPage "307" @default.
- W2019162036 startingPage "281" @default.
- W2019162036 abstract "This paper reports a computational model of Boole's discovery of Logic as a part of Mathematics. George Boole (1815–1864) found that the symbols of Logic behaved as algebraic symbols, and he then rebuilt the whole contemporary theory of Logic by the use of methods such as the solution of algebraic equations. Study of the different historical factors that influenced this achievement has served as background for our two main contributions: a computational representation of Boole's Logic before it was mathematized; and a production system, BOOLE2, that rediscovers Logic as a science that behaves exactly as a branch of Mathematics, and that thus validates to some extent the historical explanation. The system's discovery methods are found to be general enough to handle three other cases: two versions of a Geometry due to a contemporary of Boole, and a small subset of the Differential Calculus." @default.
- W2019162036 created "2016-06-24" @default.
- W2019162036 creator A5011361866 @default.
- W2019162036 creator A5050512952 @default.
- W2019162036 creator A5060699112 @default.
- W2019162036 creator A5076598260 @default.
- W2019162036 date "1997-04-01" @default.
- W2019162036 modified "2023-09-30" @default.
- W2019162036 title "A computational approach to George Boole's discovery of mathematical logic" @default.
- W2019162036 cites W1974062640 @default.
- W2019162036 cites W1990249251 @default.
- W2019162036 cites W2014198055 @default.
- W2019162036 cites W2084512591 @default.
- W2019162036 cites W2118888533 @default.
- W2019162036 cites W2132174753 @default.
- W2019162036 cites W2135241964 @default.
- W2019162036 cites W4234235704 @default.
- W2019162036 doi "https://doi.org/10.1016/s0004-3702(97)00017-9" @default.
- W2019162036 hasPublicationYear "1997" @default.
- W2019162036 type Work @default.
- W2019162036 sameAs 2019162036 @default.
- W2019162036 citedByCount "9" @default.
- W2019162036 countsByYear W20191620362012 @default.
- W2019162036 countsByYear W20191620362023 @default.
- W2019162036 crossrefType "journal-article" @default.
- W2019162036 hasAuthorship W2019162036A5011361866 @default.
- W2019162036 hasAuthorship W2019162036A5050512952 @default.
- W2019162036 hasAuthorship W2019162036A5060699112 @default.
- W2019162036 hasAuthorship W2019162036A5076598260 @default.
- W2019162036 hasBestOaLocation W20191620361 @default.
- W2019162036 hasConcept C154945302 @default.
- W2019162036 hasConcept C15744967 @default.
- W2019162036 hasConcept C188147891 @default.
- W2019162036 hasConcept C41008148 @default.
- W2019162036 hasConcept C67101536 @default.
- W2019162036 hasConceptScore W2019162036C154945302 @default.
- W2019162036 hasConceptScore W2019162036C15744967 @default.
- W2019162036 hasConceptScore W2019162036C188147891 @default.
- W2019162036 hasConceptScore W2019162036C41008148 @default.
- W2019162036 hasConceptScore W2019162036C67101536 @default.
- W2019162036 hasIssue "2" @default.
- W2019162036 hasLocation W20191620361 @default.
- W2019162036 hasLocation W20191620362 @default.
- W2019162036 hasOpenAccess W2019162036 @default.
- W2019162036 hasPrimaryLocation W20191620361 @default.
- W2019162036 hasRelatedWork W2094594816 @default.
- W2019162036 hasRelatedWork W2100414512 @default.
- W2019162036 hasRelatedWork W2314005705 @default.
- W2019162036 hasRelatedWork W2320266685 @default.
- W2019162036 hasRelatedWork W2325942790 @default.
- W2019162036 hasRelatedWork W2333138024 @default.
- W2019162036 hasRelatedWork W2748952813 @default.
- W2019162036 hasRelatedWork W2774153929 @default.
- W2019162036 hasRelatedWork W2899084033 @default.
- W2019162036 hasRelatedWork W3107474891 @default.
- W2019162036 hasVolume "91" @default.
- W2019162036 isParatext "false" @default.
- W2019162036 isRetracted "false" @default.
- W2019162036 magId "2019162036" @default.
- W2019162036 workType "article" @default.