RT Journal Article
T1 A computational approach to George Boole's discovery of mathematical logic
A1 Ledesma, Luis de
A1 Pérez, Aurora
A1 Borrajo Millán, Daniel
A1 Laita, Luis M.
AB 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.
PB Elsevier
SN 0004-3702
YR 1997
FD 1997-04
LK https://hdl.handle.net/10016/6768
UL https://hdl.handle.net/10016/6768
LA eng
DS e-Archivo
RD 3 ago. 2024