concept< >
- by Stephen Downes
- by Schopenhauer - ...per fas et nefas :-)
- Programming Languages Weblog
- Our mathematical correspondent has just announced some startling discoveries, claiming to have found conclusive proof that 1 is equal to 2, that every pers...Our mathematical correspondent has just announced some startling discoveries, claiming to have found conclusive proof that 1 is equal to 2, that every person in Canada is the same age, that a ladder will fall infinitely fast if you pull on it, ...
- a rule engine and scripting environment written entirely in Sun's Java, you can build Java software that has the capacity to "reason" using knowledge you s...a rule engine and scripting environment written entirely in Sun's Java, you can build Java software that has the capacity to "reason" using knowledge you supply in the form of declarative rules. Jess is small, light, and one of the fastest rule engines av
- A Collection of Strange Beliefs, Amusing Deceptions, and Dangerous Delusions (and how to think critically about them)
- "A generating function is a clothesline on which we hang up a sequence of numbers for display..."
- a great model of how-to visualize complex information
- "The jawbone of an ass is just as dangerous a weapon today as in Sampson's time."
- every game starts out as the handmade creation of the inventor, which eventually becomes a standardized and mass produced product; but sometimes the commer...every game starts out as the handmade creation of the inventor, which eventually becomes a standardized and mass produced product; but sometimes the commercial versions of games are not available, too expensive, or just not nice enough
- The Fallacy Files
- list of paradoxes, grouped thematically. Note that many of the listed paradoxes have a clear resolution.
- The MIT Media Lab has embarked on an effort to give computers and other modern devices "common sense", the capacity to understand and reason about the worl...The MIT Media Lab has embarked on an effort to give computers and other modern devices "common sense", the capacity to understand and reason about the world as intimately as people do.
- by Per Martin-Löf, Department of Mathematics, University of Stockholm, Sweden
- a library for logic programming in C++, programmers can write declarative, Prolog-like code in their C++ programs.
- The Clash Between Faith and Reason in the Modern World - Sam Harris gives a speech on the rational thinking and logics behind the idea of no god at the Asp...The Clash Between Faith and Reason in the Modern World - Sam Harris gives a speech on the rational thinking and logics behind the idea of no god at the Aspen Ideas Festival.
- Billions of Free Sudoku Puzzles to Play Online
< >
- (2011)cite arxiv:1109.2048 .
- Formal Philosophy: Selected Papers of Richard Montague, 222-247, Yale University Press, New Haven, London, (1974)
- Formal Philosophy: Selected Papers of Richard Montague, Yale University Press, New Haven, London, (1974)
- Formal Philosophy: Selected Papers of Richard Montague, Yale University Press, New Haven, London, (1974)
- Formal Philosophy: Selected Papers of Richard Montague, Yale University Press, New Haven, London, (1974)
- Structure, Method and Meaning: Essays in Honor of Henry M. Sheffer, The Liberal Arts Press, New York, (1951)
- ASE, page 295-298. (1999)
- (2007)
- Cambridge University Press, 2nd edition, (2010)
- Transactions of the American Institute of Electrical Engineers (1938)
- Walton and Maberly, London, (1854)
- Macmillan, Barclay, \& Macmillan, Cambridge, (1847)
- Proceedings of the London Mathematical Society (1936)
- Wiley, (2003)
- Proceedings of the 12th International Workshop on Coordination, Organizations, Institutions and Norms in Agent Systems COIN, page 31-45. (2011)
- Studia Logica 34(1):25 - 38 (1975)
- Informatik-Spektrum 34(5):434-442 (October 2011)
- Informatik-Spektrum 34(5):443-454 (October 2011)
- Informatik-Spektrum 34(5):462-468 (October 2011)
- Lecture Notes in Artificial Intelligence Springer, Berlin, (2010)
