Leibnizjańskie inspiracje informatyki

Filozofia Nauki 3 (2006)
  Copy   BIBTEX

Abstract

Leibniz may be considered as the first computer scientist. He made major contributions to engineering and information science. He invented the binary system, fundamental for virtually all modern computer architectures. He built a decimal based machine that executed all four arithmetical operations and outlined a binary computer. The concepts of lingua characteristica (formal language, programming language) and calculus ratiocinator (formal inference engine or computer program) are the base of the modern logic and information science. Leibniz was groping towards hardware and software concepts worked out much later by Charles Babbage and Ada Lovelace. He anticipated the universal Turing machine

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,853

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Application of modal logic to programming.Vaughan R. Pratt - 1980 - Studia Logica 39 (2-3):257 - 274.
Turing's golden: How well Turing's work stands today.Justin Leiber - 2006 - Philosophical Psychology 19 (1):13-46.
Problems for a Philosophy of Software Engineering.Stefan Gruner - 2011 - Minds and Machines 21 (2):275-299.
Alan Turing.Peter Cave - 2004 - Minds and Machines 10 (4):461-461.
Abstraction in computer science.Timothy Colburn & Gary Shute - 2007 - Minds and Machines 17 (2):169-184.
Human and machine logic: A rejoinder.John R. Lucas - 1968 - British Journal for the Philosophy of Science 19 (2):155-6.

Analytics

Added to PP
2013-03-14

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

Uncomputable Numbers and the Limits of Coding in Computer Science.Paweł Stacewicz - 2019 - Studia Semiotyczne—English Supplement 30:107-126.

Add more citations

References found in this work

No references found.

Add more references