Logicomix: an Epic Search for Truth by Apostolos Doxiadis, Christos Papadimitriou, Alekos Papadatos, Annie Di Donna - ISBN 0747597200 - Bloomsbury 2009

Motivation

Re-discovered in a library in Paris.

Pre-reading model

Draw a schema (using PmGraphViz or another solution) of the situation of the area in the studied domain before having read the book.

Reading

• Overture
  • (p8)
• 1 Pembroke Lodge
  • (p26)
• 2 The sorcerer's apprentice
  • (p70)
• 3 Wanderjahre
  • (p110)
  • Alice in Wonderland cheshire cat passage (p112)
• 4 Paradoxes
  • (p147)
• Entracte
  • (p188)
• 5 Logico-philosophico wars
  • (p208)
• 6 Incompleteness
  • (p250)
• Finale
  • (p285)

See also

• MyBeliefs for method and links
• Programming for logic languages (Prolog, ...)
  • Wikipedia:Prolog
  • Wikipedia:Fuzzy logic
• Sophisms
• AncientGreek
• reading notes
  • Le Pouvoir Des Mathematiques
  • The Mathematician's Mind: The Psychology of Invention in the Mathematical Field
  • The Princeton Companion to Mathematics
• Wikipedia:Portal:Logic
  • Wikipedia:History of logic
  • Wikipedia:Conceptual graph (CG) notation for logic based on the existential graphs of Charles Sanders Peirce and the semantic networks of artificial intelligence.
• Logic for Computer Science, Wikibook
• Logicomix by Christos Papadimitriou, Microsoft Research May 2010
• Logicomix: the making of 2009
• Christos Papadimitriou, Authors@Google March 2010
• News from the official Logicomix website, including several talks
• In Praise of Idleness by Bertrand Russell, 1932
• Apostolos on Logicomix, University of Cambridge 2009
• WithoutNotesFebruary11#Wittgenstein as Wittgenstein's work applied programming

Overall remarks and questions

• this? that?

Synthesis

So in the end, it was about X and was based on Y.

Critics

Point A, B and C are debatable because of e, f and j.

Vocabulary

(:new_vocabulary_start:) new_word (:new_vocabulary_end:)

Post-reading model

Draw a schema (using PmGraphViz or another solution) of the situation of the area in the studied domain after having read the book. Link it to the pre-reading model and align the two to help easy comparison.

Back to the Menu

Categories

• Information

RSS for this page only
RSS for the entire wiki

• HomePage

CONTENT

• Cookbooks
• Reading Notes
• Events
• Tools
• Languages
• Housing project

CONTACT

• Email
• Facebook
• Skype
• VoIP
• Twitter
• IRC
• FOAF

UPDATES

• Recent changes

LAST TWEET

• utopiah: RT @FrancoisTaddei: Solve for X: Adrien Treuille on collaborative science solving research challenges via the web eg foldit & eteRNA htt ...

RIGHTS

• content
  
• code
  
• artwork
  

Type here your remark. Eventually add your contact information. Send feedback about
Logicomix

If you can read this text (opacity=0.2) if means the page has not been edited for a long time. Consequently the information it holds might be deprecated or no longer represent the opinion of this author.