archive-com.com » COM » L » LOGICOMIX.COM

Total: 199

Choose link from "Titles, links and description words view":

Or switch to "Titles and links view".
  • Page has moved
    Click here

    Original URL path: http://www.logicomix.com/ (2016-05-01)
    Open archived version from archive

  • LOGICOMIX - Homepage
    Frankfurt Book Fair Apostolos will give the Dabis Lecture at Royal Holloway 3 March 2011 Apostolos will speak at Blackwell s Bookshop in Oxford 6 March 2011 What Logicomix does that few works in any medium do is make intellectual passion palpable NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY LOGICOMIX is on boingboing s 2010 gift guide LOGICOMIX is short listed for the Palmares the Grand Prix of the Angouleme Festival

    Original URL path: http://www.logicomix.com/en/index.html (2016-05-01)
    Open archived version from archive

  • LOGICOMIX - Homepage
    Frankfurt Book Fair Apostolos will give the Dabis Lecture at Royal Holloway 3 March 2011 Apostolos will speak at Blackwell s Bookshop in Oxford 6 March 2011 What Logicomix does that few works in any medium do is make intellectual passion palpable NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY LOGICOMIX is on boingboing s 2010 gift guide LOGICOMIX is short listed for the Palmares the Grand Prix of the Angouleme Festival

    Original URL path: http://www.logicomix.com/en/index8be8.html?option=com_content&view=frontpage&Itemid=53 (2016-05-01)
    Open archived version from archive

  • LOGICOMIX - About Logicomix
    The basic claim of the school in the philosophy of mathematics known as logicism the school founded by Frege of which Bertrand Russell was one of the primary exponents was that all of mathematics can be reduced to logic or in other words that mathematics is essentially a branch of logic After the years of the foundational quest however and especially after Gödel s results logic became a well developed diversified field in the interface between philosophy and mathematics Bertrand Russell Greek Exercises March 9 1888 I read an article in the Nineteenth Century today about genius and madness I was much interested by it Some few of the characteristics mentioned as denoting genius while showing a tendency to madness I believe I can discern in myself Such are sexual passion which I have lately had great difficulty in resisting and a tinge of melancholy which I have often had lately and which makes me anxious to go to this tutor s as there I shall probably be too much occupied to indulge such thoughts Also he mentions a desire to commit suicide which though hitherto very slight has lately been present more or less with me in particular when up a tree I should say it is quite possible I may develop more or less peculiarity if I am kept at home much longer The melancholy in me is I think chiefly caused by the reserve which prompted the writing of this and which is necessary owing to my opinions Notebook Logicomix Written by Aeschylus and first performed in the theatre of Dionysus in Athens two years before the poet s death in 458 BCE it is the only extant trilogy of Greek dramas although the satirical play Proteus intended to be performed after the trilogy is missing In the trilogy s first play the Agamemnon the eponymous hero and leader of the Greek forces in Troy returns a victor to his hometown of Argos with the captive prophetess Cassandra Though his wife Clytemnestra at first appears to rejoice at his return she has other plans She and her lover Agamemnon s cousin Aegisthus murder Agamemnon and become the new sovereigns of Argos In the Libation Bearers the second play the chorus of women accompanies Agamemnon s daughter Electra to her father s tomb The forlorn Electra is hoping for revenge which she can only carry out with the help of her brother Orestes who is in exile When Orestes clandestinely returns to Argos he and Electra plan and execute the murder of Aegisthus and then in a highly dramatic scene in which Clytemnestra bares her breasts before his naked sword Orestes also kills her his own mother The third play the Eumenides or beneficent ones is one of the most unusual in the history of drama all its speaking parts apart from that of Orestes himself are taken up by gods or other supernatural entities The chorus consists of the Erinyes or Furies archaic goddesses of revenge who chase Orestes from the temple at Delphi where he has been ritually purified by the god Apollo to Athens In a totally unprecedented move for a god anyway Athena the patron god of Athens decides to let the citizens of Athens judge Orestes case thus giving a mythological origin story for the democratic innovation of a court of law with citizen jury Bertrand Russell Autobiography Routledge 2000 p 239 On the morning of August 4th I walked with Ottoline up and down the empty streets behind the British Museum where now there are University buildings We discussed the future in gloomy terms When we spoke to others of the evils we foresaw they thought us mad Yet it turned out that we were twittering optimists compared to the truth The first days of the War were to me utterly amazing My best friends such as the Whiteheads were savagely warlike I was living at the highest possible emotional tension Although I did not foresee anything like the full disaster of the War I foresaw a great deal more than most people did The prospect filled me with horror but what filled me with even more horror was the fact that the anticipation of carnage was delightful to something like ninety percent of the population I had to revise my views on human nature At that time I was wholly ignorant of psycho analysis but I arrived for myself at a view of human passions not unlike that of the psycho analysts I arrived at this view in an endeavor to understand popular feelings about the War I had supposed until that time that it was quite common for parents to love their children but the War persuaded me that it is a rare exception I had supposed that most people liked money better than almost anything else but I discovered that they liked destruction even better Thomas Kuhn The Road Since Structure Revolutionary changes involve discoveries that cannot be accommodated within the concepts in use before they were made In order to make or to assimilate such a discovery one must alter the way one thinks about and describes some range of natural phenomena The discovery in cases like these invention may be a better word of Newton s second law of motion is of this sort The concepts of force and mass deployed in that law differed from those in use before the law was introduced and the law itself was essential to their definition A second fuller but more simplistic example is provided by the transition from Ptolomaic to Copernican astronomy Before it occurred the sun and moon were planets the earth was not After it the earth was a planet like Mars and Jupiter the sun was a star and the moon was a new sort of body a satellite Changes of that sort were not simply corrections of individual mistakes embedded in the Ptolemaic system Like the transition to Newton s laws of motion they involved not only changes in laws of nature but also changes in the criteria by which some terms in those laws attached to nature These criteria furthermore were in part dependent upon the theory with which they were introduced Notebook Logicomix The great British mathematician Alan Turing is generally considered to be the father of computer science Turing contributed to many areas of mathematics but is mostly remembered for one of his earliest results in logic His ingenious definition of an algorithm in terms of a theoretical machine with a central control and a tape for memory input and output anticipated in important ways the digital computer and has had since then an enormous influence on computational practice and thought Turing machines as they are now called share with today s computers the key property of universality in that a machine can carry out any computational task provided it is supplied with an appropriate program for it The work of Turing as well as that of the others mentioned on algorithms and methods for the general solvability of problems is an obvious outgrowth of the foundational quest and thus in a sense its culmination During World War II Turing presided over the design and construction of two series of electronic computers the Bombe and the Colossus These were used successfully and crucially for the war effort for breaking several German cryptographic codes including the notoriously hard Enigma of the German navy After the war Turing worked in the fledgling British computer industry did important work in biology and founded the field of artificial intelligence by proposing what became known as the Turing test a method for determining whether an artifact can think In 1952 he was prosecuted on account of his homosexuality then a punishable offense in Britain As an alternative to a jail sentence he agreed to undergo an experimental treatment with estrogens which probably caused the severe depression which led him to take his own life in 1954 Notebook Logicomix Often used synonymously with predicate logic and first order logic the predicate calculus is Frege s extension of the propositional logic developed by Boole In the predicate calculus elementary propositions or predicates are composite objects of the form P a b c where P is a symbol in the language and a b c etc are constants or variables For example if older is a propositional symbol Plato is a constant and x is a variable then older Plato x is a well formed proposition describing that Plato is older than x Propositions of this type can then be combined by Boole s connectives and or not and implies and prefixed by Frege s quantifiers such as for all x written and there exists y written Thus there exists x older x Plato means that there is at least one individual who is older than Plato Evidently this is a much more ambitious attempt at creating Leibniz s calculus ratiocinator than Boole s simpler formal logic By employing symbols from various fields of mathematics such as x y x y y or x y y 1 Whether a sentence in the predicate calculus first or second order is true or false depends on the model whereby the sentence is interpreted Thus for example the simple arithmetical theorem given above is true of the whole numbers in the ordinary interpretation of but becomes false if we interpret the symbol as multiplication However some sentences called valid are true independently of interpretation because they embody basic properties of Boolean connectives and quantifiers Kurt Gödel s Completeness Theorem provides a simple complete axiomatic system for proving validity in first order logic Notebook Logicomix The extremely influential but highly controversial essentially unfinished work in which Alfred North Whitehead and Bertrand Russell attempted to rescue Frege s grand project to create foundations of mathematics built on logic in the wake of the crisis brought on by Russell s Paradox The title Principia Mathematica i e Principles of Mathematics in itself provoked controversy as it is the exact same as that of Newton s greatest work many in the British mathematical community thought this choice to be in bad taste if not actually blasphemous The three volumes of the Principia published in 1910 1912 and 1913 were based on a developed version of Russell s theory of types the so called ramified which imposed a hierarchical structure on the objects of set theory This could not be made to yield the required results however without the addition of what Russell called an axiom of reducibility which eventually became one of the main reasons for negative criticism of the whole work Logicians found this axiom extremely counter intuitive a far fetched and basically artificial method to sweep the very problem it was trying to solve under the rug Despite the fact that the Principia fell short of its authors immense ambition it had a huge influence on the shaping of modern logic its greatest effect possibly being the inspiration and context it provided Kurt Gödel for his groundbreaking discovery the Incompleteness Theorem Notebook Logicomix The process of arriving at the logical verification of a mathematical or logical statement starting from a set of agreed upon first principles these could be either axioms or already proven statements deriving from these axioms and proceeding by totally unambiguous and unabridged logical steps or rules of inference The demonstrations of geometric propositions in Euclid s Elements were considered for over two millennia to set the standard of excellence to which mathematical proof should aspire Yet towards the end of the 19th century his method came under logical and philosophical scrutiny and was found to lack principally in two directions a in its sense of the logical obviousness of the axioms and b in its logical gaps where intuition which in Euclid s case was mostly visual geometric took over from strict application of a formal system of rules In a sense Frege s and Russell and Whitehead s logicist project was developed as a reaction to the imperfections found in Euclid s proofs as well as all those developed in his wake The logicists as well as the formalists working on the foundations of mathematics aimed at a fully developed theory and practice of rigorous proof by which arithmetic as the basis of all mathematics would begin from a small number of consistent axioms and eventually lead via proof to the full range of truth Notebook Logicomix Discovered in 1901 as Russell was working on his first book on the foundations of mathematics the Principles of Mathematics published in 1903 the Paradox in the form originally expressed shows an essential flaw in Cantor s set theory developed from Bolzano s simple concept of a collection of elements with a common property By the generality of this definition which Frege extended to the realm of logic one can speak of a sets of sets and thus eventually of the set of all sets Of the elements of this all encompassing set one defines the property of self inclusiveness i e of a set containing itself as an element Thus for example the set of all sets is a set and thus contained in itself as is the set of all entries in a list it can appear as an entry in a list but the set of all numbers is not a number and thus not contained in itself By virtue of this property we can define the set of all sets which don t contain themselves and ask with the young Russell the question Does this set contain itself or not See what happens if it does contain itself it follows that it is one of the sets which don t contain themselves as this is the property that characterizes elements of this set and thus cannot contain itself But if it doesn t contain itself then it does not have the property of not containing itself and thus does contain itself This situation in which assuming something implies its negation and vice versa is called a paradox When a paradox such as Russell s arises in a theory it is a sign that one of its basic premises definitions or axioms is faulty Notebook Logicomix Literally the quality of a statement of referring to itself However it is also used more generally in logic to characterize statements which include themselves within their scope of reference as in the barber story used to explain Russell s Paradox The barber lives in a town wherein a law decrees that all residents of the town must either shave themselves or be shaved by the barber This law is self referential as the barber apart from being the barber referred to is also one of the residents of the town Self reference has played a seminal role in logic and mathematics already from the time of the Greeks From Euboulides self referential statements to Gödel In fact Gödel proved his Incompleteness Theorem by creating in the context of modern logic a statement that is quite similar in spirit to that of Euboulides with one crucial difference while Euboulides states this statement is false Gödel s ingenious variant essentially says in the language of arithmetic this statement is unprovable Any consistent axiomatic theory in which one can formulate such a statement must be necessarily incomplete for either this statement is false in which case it is both false and provable contradicting the consistency of the axiomatic system or true in which case it is both true and unprovable establishing its incompleteness Notebook Logicomix The study of collections of objects united by a common property in some cases this property can be nothing more than the fact that they are defined to be members of the same set as for example in the arbitrarily defined set whose elements are the numbers 2 3 8 134 579 Sets were first studied by the Czech mathematician Bernard Bolzano 1781 1848 who also introduced the term Menge set and defined the notion of a set s cardinality i e of its size in a way not directly involving measurement The advanced mathematical discipline of set theory was arguably born on December 7 1873 when Georg Cantor wrote to his teacher Richard Dedekind describing his proof of the non denumerability of the real numbers the set of the whole numbers decimals zero and the negative numbers as opposed to the denumerability of the rationals all fractions which Cantor also proved denumerability is defined as a one to one correspondence with the natural numbers 1 2 3 etc The concept of a set is almost too primitive to merit a mathematical definition and is practically impossible to define informally without the use of some synonym here we used the word collection It is precisely this naturalness of the concept in Bolzano s and Cantor s work that led to Russell s Paradox To overcome it and to rule out the flawed concept of the set of all sets it allowed for one has to come up with bottom up constructions and axioms for sets as in the Principia Mathematica and later the system called ZFC from the names of its two creators Ernst Zermelo and Abraham Fraenkel and the Axiom of Choice a necessary additional axiom that allows the theory to deal with infinite sets Set theory is considered by some the most basic branch of mathematics as all others can be defined in terms of it This was the gist of an over ambitious project undertaken from the 1930s onwards by the group of brilliant French mathematicians writing under the pen name of Nicolas Bourbaki Notebook Logicomix Ludwig Wittgenstein wrote his seminal philosophical work during WWI building on his pre war notebooks and ideas on logic It contains his solution of in his own words all the problems of philosophy dealing with the world representation and language Originally called Logische Philosophische Abhandlung Logical Philosophical Treatise it was renamed for

    Original URL path: http://www.logicomix.com/en/index30af.html?option=com_content&view=article&id=92&Itemid=28 (2016-05-01)
    Open archived version from archive

  • LOGICOMIX - News
    Publishing Attend LOGICOMIX related events at the Helsinki Comics Festival 10 12 Sept Tour info Hamburg Saturday Sept 11 7 pm Harbour Front Festival Reading at the IBA Dock English German Host Prof Dr Albrecht Beutelspacher Kassel Sunday Sept 12 6 pm Reading at the planetarium English German Host Bjoern Schirmeier Berlin Monday Sept 13 5 15 pm Reading at Freie Universität Berlin Institut fu r Informatik English Host Prof Dr Helmut Alt Gießen Wednesday Sept 15 7 30 pm Reading at the Mathematikum Liebigstraße 8 English German Host Prof Dr Martin Buhmann The German LOGICOMIX has hit the shelves Finnish LOGICOMIX to come out beginning of September just before the Helsinki Comix Fest Apostolos spoke about LOGICOMIX to students and professors at the University of Cambridge in November 2009 After his talk he was joined by Alecos Papadatos in answering the audience s questions The event was hosted by the Hellenic Society at Cambridge and Apostolos was introduced by mathematician Tim Gowers Watch the video here via Apostolos personal site Apostolos and Alecos were invited to speak about LOGICOMIX by the Post Graduate Maths Society of the School of Mathematics at the University of Birmingham At their November 11th lecture Apostolos spoke about his relationship with math comics and writing and Alecos talked about the creative process in comics and even gave the audience a demonstration of how he draws Bertrand Russell Watch the video here via Apostolos personal site If you haven t read it yet I recommend last year s surprise best seller LOGICOMIX a brilliantly creative graphic novel about set theory logic infinity madness and the quest for mathematical truth Steven Strogatz on his New York Times blog The Opinionator LOGICOMIX won the 2010 Bertrand Russell Society Book Award 2010 is a particularly special year for Russell fans as it marks the 100th anniversary of the Principia Mathematica Visit the Bertrand Russell Society website email protected presents Christos Papadimitriou Watch the talk here Apostolos Alecos and Annie appear in comic form in the pages of the arts magazine of the Financial Times discussing Claude Levi Strauss structuralism and the house of Atreus Read it here LOGICOMIX is awarded the Dutch Bookseller s Medal From the press release On World Book Day 2010 ten non fiction books will be awarded the Dutch Bookseller s Medal Lintje van de Boekverkoper The winners of these yearly awards for quality non fiction are chosen by a jury of booksellers Most striking this year is the choice of a graphic novel a form that is rapidly gaining popularity The Royal Dutch Booksellers Federation will officially hand out the medals in a ceremony on Friday April 23rd Check out Alecos s brand new website www alecos eu It is a fantastic site with lots of samples of Alecos s animation cartoons that appeared in newspapers and hundreds of his drawings from rough sketches and thumbnails to the final product A section on Alecos s next graphic novel project is coming soon Logicomix is brilliant and I m not sure how I missed it Haddon notes on his blog Mark Haddon is the author of the best selling novel The Curious Incident of the Dog in the Nighttime Click here to read the full blog entry on Logicomix LOGICOMIX was selected along with 15 other books to compete in the 2010 Tournament of Books the winner of which will be awarded the Rooster Award presented by Field Notes A description of the competition from the website Each spring we take 16 celebrated novels from the previous year and seed them into a competitive bracket like the kind used in the N C A A basketball championship A group of judges is enlisted and the tournament plays out over the course of five rounds of matches in March Each match sees two books battling head to head in brutal combat with a judge explaining how he or she has chosen to move one of them to the next round LOGICOMIX is on the cover of this week s issue of Publishers Weekly which also includes a 3 page comic made specially for the magazine Read the comic here TIME Magazine s Top 10 of Everything List Logicomix is in list of Top 10 Non Fiction Books Apostolos Doxiadis charming dialogue and Alecos Papadatos simple affecting drawings give the story an immediacy and approachability that nothing else could The Independent s Best Biography Books for Christmas The book is a triumph Publishers Weekly Best Books of 2009 Both informative and engrossing The Times Christmas Books Graphic Novels Logicomix ends up working out a wonderful synthesis between logic and passion what s provable and what lies outside meaning Financial Times Books of the Year Rich colourful and surprising National Public Radio Season s Readings Top Picks from Indie Booksellers To compare it to a classic Archie and Veronica style comic would be as unfair as comparing a Rembrandt to a child s refrigerator drawing unless of course it s your child San Francisco Chronicle Holiday Gift Guide This remarkable book centers on Bertrand Russell s life and philosophy but is anything but stuffy The Village Voice 2009 s Best Comics and Graphic Novels Proves a surprisingly lively tale The Cornell Daily Sun Logicomix is easily the top graphic novel of the year and probably one of the best of the decade The Guardian Christmas Books Novels The Globe and Mail s Year s Best Graphic Books The Washington Post Best Books of 2009 Graphic Novel Reporter What to Give What to Get 2009 Popular Mechanics Best Books of 2009 Editor s Choice New Scientist s Best Books of 2009 Shelf Awareness Top 10 Books or so of 2009 NO UPCOMING EVENTS ARE CURRENTLY SCHEDULED PAST EVENTS LOS ANGELES Wednesday October 7 7 00 pm Los Angeles Public Library Christos in conversation with Zlatan Damnjanovic View flyer Listen to podcast SEATTLE Friday October 9 7 30 pm Town Hall Seattle Christos with Apostolos via Skype from Athens

    Original URL path: http://www.logicomix.com/en/indexaa58.html?option=com_content&view=article&id=61&Itemid=29 (2016-05-01)
    Open archived version from archive

  • LOGICOMIX - The Team
    story In his day job Christos is a professor and researcher in the field of theoretical computer science at the University of California Berkeley In the evenings he writes novels such as Turing which was published in 2003 or he plays keyboards in the rock band Positive Eigenvalues Read more Alecos Papadatos character design and drawings After working in animation for twenty years Alecos turned from moving images to his

    Original URL path: http://www.logicomix.com/en/indexf76f.html?option=com_content&view=category&layout=blog&id=37&Itemid=18 (2016-05-01)
    Open archived version from archive

  • LOGICOMIX - Behind the scenes
    TEAM BEHIND THE SCENES PRESS CONTACT Locations Character research Pages in production No Iframes No Iframes No Iframes Logicomix Print 2008 2009 nbsp Buy it Online Share designed developed by

    Original URL path: http://www.logicomix.com/en/indexf684.html?option=com_content&view=article&id=91&Itemid=30 (2016-05-01)
    Open archived version from archive

  • LOGICOMIX - Press
    ABOUT LOGICOMIX NEWS THE TEAM BEHIND THE SCENES PRESS CONTACT Reviews Articles Multimedia Logicomix Print 2008 2009 nbsp Buy it Online Share designed developed by INTELWEB hosted by mt Move

    Original URL path: http://www.logicomix.com/en/index1ab3.html?option=com_content&view=article&id=76&Itemid=59 (2016-05-01)
    Open archived version from archive



  •