This category needs an editor. We encourage you to help if you are qualified.
Volunteer, or read more about what this involves.
Related categories
6 found
Search inside:
(import / add options)   Order:
  1. Varol Akman & Mujdat Pakkan (1996). Nonstandard Set Theories and Information Management. Philosophical Explorations.
    The merits of set theory as a foundational tool in mathematics stimulate its use in various areas of artificial intelligence, in particular intelligent information systems. In this paper, a study of various nonstandard treatments of set theory from this perspective is offered. Applications of these alternative set theories to information or knowledge management are surveyed.
    Remove from this list   Direct download (4 more)  
    Export citation  
    My bibliography  
  2. Paul E. Ceruzzi (2003). A History of Modern Computing. MIT.
    Ceruzzi pens a history of computing from the development of the first electronic digital computer to the Web and dot-com crash.
    Remove from this list   Direct download  
    Export citation  
    My bibliography   5 citations  
  3. Anne von der Lieth Gardner (1987). An Artificial Intelligence Approach to Legal Reasoning. MIT Press.
  4. David Love (2008). A Philosophy of Maintenance? Engaging with the Concept of Software. Philosophy of Management 6 (2):27-30.
    Although reducing the costs of software maintenance has long been held as an important goal, few researchers have studied software maintenance - except in the context of software design. However, thinking in software design is itself muddled by the frequent confusion over the term ‘software’ and ‘programs’. In this paper we argue for a re-examination of the underlying philosophical foundations of programs, in order to establish software as a phenomenon in its own right. Once we understand the basic structure of (...)
    Remove from this list   Direct download (5 more)  
    Export citation  
    My bibliography  
  5. Yiannis Moschovakis (2001). What is an Algorithm? In Mathematics Unlimited --- 2001 and beyond.
    Remove from this list  
    Export citation  
    My bibliography   1 citation  
  6. Philip Wadler, Proofs Are Programs: 19th Century Logic and 21st Century Computing.
    As the 19th century drew to a close, logicians formalized an ideal notion of proof. They were driven by nothing other than an abiding interest in truth, and their proofs were as ethereal as the mind of God. Yet within decades these mathematical abstractions were realized by the hand of man, in the digital stored-program computer. How it came to be recognized that proofs and programs are the same thing is a story that spans a century, a chase with as (...)
    Remove from this list  
      Direct download (2 more)  
    Export citation  
    My bibliography