Abstract
In 1870 a British scholar, W.S. Jevons, built the first computer designed to solve logical problems. Inspired by Boole and Babbage, Jevons built a mechanical device implementing automated deduction. In this paper, we present in contemporary terms the basic features of Jevons’ machine. These features are related to finite-state machines and evaluation of words of a regular language. Two investigations about this machine are presented: the first one is evaluation of Jevons’ machine complexity with a real-time environment. The second one is a VLSI implementation.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
P. Amblard, Scheduling problems while compiling the real time language Lustre on the digital signal processor ST 18930, Euromicro Workshop on Real-Time, Como (Italy), June 1989, pp 178–186
G. Boole and W. Stanley Jevons, Alg bre et Logique: D’aprs les textes originaux de G.B et W.S.J., avec les plans de la Machine Logique: Introduction et adaptation francaise par Frederic GILLOT, Ed Albert Blanchard, Paris, 1962. (contains French translation of [7] )
Michel Breal, Ethymologies grecques (Automatos) Mémoires de la Société de Linguistique de Paris, Tome 10, 1897-1898, pp 402–403
M. Gardner, Logic Machines, Scientific American, March 1952, pp 68–73
M. Gardner, Logic Machines and Diagrams, The Harvester Press, Brighton, 1983, pp 91–103
N. Halbwachs, P. Caspi, P. Raymond and D. Pilaud, The synchronous Data Flow Programming Language LUSTRE, Proceedings of the IEEE, Sep 1991, pp 1305–1320. Special issue on Real-Time Programming.
W. Stanley Jevons, On the Mechanical Performance of Logical Inference, Philosophical Transactions of the Royal Society, 1870, pp 497–518
L. Liard, Les logiciens Anglais contemporains, Ed. Germer Bailli re et Cie, Paris, 1878.
W. Mays and D.P. Henry, Jevons and Logic, Mind, Vol LXII-1953, pp 484–505.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer Science+Business Media New York
About this chapter
Cite this chapter
Amblard, P. (1998). A Finite State Description of the Earliest Logical Computer: The Jevons’ Machine. In: Napieralski, A., Ciota, Z., Martinez, A., De Mey, G., Cabestany, J. (eds) Mixed Design of Integrated Circuits and Systems. The Springer International Series in Engineering and Computer Science, vol 434. Springer, Boston, MA. https://doi.org/10.1007/978-1-4615-5651-0_30
Download citation
DOI: https://doi.org/10.1007/978-1-4615-5651-0_30
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4613-7586-9
Online ISBN: 978-1-4615-5651-0
eBook Packages: Springer Book Archive