logic
https://plus.maths.org/content/taxonomy/term/514
enGeorge Boole and the wonderful world of 0s and 1s
https://plus.maths.org/content/george-boole
<div class="field field-type-text field-field-author">
<div class="field-items">
<div class="field-item odd">
Ems Lord </div>
</div>
</div>
<div class="field field-type-filefield field-field-abs-img">
<div class="field-items">
<div class="field-item odd">
<img class="imagefield imagefield-field_abs_img" width="100" height="100" alt="" src="https://plus.maths.org/content/sites/plus.maths.org/files/abstractpics/5/23_oct_2015_-_1115/icon.jpg?1445595320" /> </div>
</div>
</div>
<div class="field field-type-text field-field-abs-txt">
<div class="field-items">
<div class="field-item odd">
<p>The story of George Boole is an extraordinary example of collaboration across the centuries.</p>
</div>
</div>
</div>
<p>2015 is a special anniversary for mathematicians. It is the bicentenary of the birth of George Boole, one of the founding fathers of our modern computers.</p>
<div class="rightimage"><img src="https://plus.maths.org/content/sites/plus.maths.org/files/articles/2015/boole/george_boole_color.jpg" alt="George Boole" width="250" height="335" />
<p>George Boole (1815-1864).</p><p><a href="https://plus.maths.org/content/george-boole" target="_blank">read more</a></p>https://plus.maths.org/content/george-boole#commentsbinary arithmeticboolean algebracomputer sciencehistory of mathematicslogiclogic gateMon, 26 Oct 2015 11:28:33 +0000mf3446447 at https://plus.maths.org/contentHappy birthday, George Boole!
https://plus.maths.org/content/happy-birthday-george-boole
<div class="field field-type-filefield field-field-abs-img">
<div class="field-items">
<div class="field-item odd">
<img class="imagefield imagefield-field_abs_img" width="100" height="100" alt="" src="https://plus.maths.org/content/sites/plus.maths.org/files/abstractpics/5/23_oct_2015_-_1109/boole_icon.jpg?1445594962" /> </div>
</div>
</div>
<div class="field field-type-text field-field-abs-txt">
<div class="field-items">
<div class="field-item odd">
<p>Modern computers wouldn't be possible without George Boole, who died before light bulbs even came on the market. We celebrate his 200th birthday with a look at the man and his work.</p>
</div>
</div>
</div>
<div class="rightimage"><img src="https://plus.maths.org/content/sites/plus.maths.org/files/articles/2015/boole/george_boole_small.jpg" alt="George Boole" width="150" height="139" />
<p>George Boole (1815-1864).</p><p><a href="https://plus.maths.org/content/happy-birthday-george-boole" target="_blank">read more</a></p>https://plus.maths.org/content/happy-birthday-george-boole#commentsbinary logicboolean algebracomputer scienceFP-belowlogicMon, 26 Oct 2015 09:54:21 +0000mf3446448 at https://plus.maths.org/contentWhy we want proof
https://plus.maths.org/content/brief-introduction-proofs
<div class="field field-type-text field-field-author">
<div class="field-items">
<div class="field-item odd">
Marianne Freiberger </div>
</div>
</div>
<div class="field field-type-filefield field-field-abs-img">
<div class="field-items">
<div class="field-item odd">
<img class="imagefield imagefield-field_abs_img" width="100" height="100" alt="" src="https://plus.maths.org/content/sites/plus.maths.org/files/abstractpics/5/13_mar_2015_-_1330/sheep_icon.jpg?1426253426" /> </div>
</div>
</div>
<div class="field field-type-text field-field-abs-txt">
<div class="field-items">
<div class="field-item odd">
<p>What are mathematical proofs, why do we need them and what can they say about sheep?</p>
</div>
</div>
</div>
<p>A proof is a logical argument that establishes, beyond any doubt, that something is true. How do you go about constructing such an argument? And why are mathematicians so crazy about proofs?</p>
<h3>Which way around?</h3>
<div class="rightimage" style="width: 300px;"><img src="https://plus.maths.org/content/sites/plus.maths.org/files/articles/2015/proof/sheep.jpg" alt="Sheep" width="300" height="300" />
<p>What can maths prove about sheep?</p><p><a href="https://plus.maths.org/content/brief-introduction-proofs" target="_blank">read more</a></p>https://plus.maths.org/content/brief-introduction-proofs#commentsFP-carousellogicphilosophy of mathematicsproofFri, 10 Apr 2015 08:33:03 +0000mf3446328 at https://plus.maths.org/contentIs the Universe simple or complex?
https://plus.maths.org/content/universe-simple-complex
<div class="field field-type-text field-field-author">
<div class="field-items">
<div class="field-item odd">
Faye Kilburn </div>
</div>
</div>
<div class="field field-type-filefield field-field-abs-img">
<div class="field-items">
<div class="field-item odd">
<img class="imagefield imagefield-field_abs_img" width="100" height="100" alt="" src="https://plus.maths.org/content/sites/plus.maths.org/files/abstractpics/5/4_jan_2013_-_1237/milky_icon.jpg?1357303065" /> </div>
</div>
</div>
<div class="field field-type-text field-field-abs-txt">
<div class="field-items">
<div class="field-item odd">
<p>On the face of it the Universe is a fairly complex place. But could mathematics ultimately lead to a simple description of it? In fact, should simplicity be a defining feature of a "theory of everything"? We ponder the answers.</p>
</div>
</div>
</div>
<div class="rightimage" style="width: 300px"><img src="/sites/plus.maths.org/files/articles/2013/kilburn/milkyway.jpg" alt="Milky Way" width="300px" height="300px" />
<p>There are at least 500 billion planets in the Milky Way.</p><p><a href="https://plus.maths.org/content/universe-simple-complex" target="_blank">read more</a></p>https://plus.maths.org/content/universe-simple-complex#commentsmathematical realitycomplexityemergent behaviourlogicphilosophy of mathematicsMon, 14 Jan 2013 09:29:55 +0000mf3445851 at https://plus.maths.org/contentThis is not a carrot: Paraconsistent mathematics
https://plus.maths.org/content/not-carrot
<div class="field field-type-text field-field-author">
<div class="field-items">
<div class="field-item odd">
Maarten McKubre-Jordens </div>
</div>
</div>
<div class="field field-type-filefield field-field-abs-img">
<div class="field-items">
<div class="field-item odd">
<img class="imagefield imagefield-field_abs_img" width="100" height="100" alt="" src="https://plus.maths.org/content/sites/plus.maths.org/files/abstractpics/5/1_aug_2011_-_1757/icon.jpg?1312217855" /> </div>
</div>
</div>
<div class="field field-type-text field-field-abs-txt">
<div class="field-items">
<div class="field-item odd">
Paraconsistent mathematics is a type of mathematics in which contradictions may be true.
In such a system it is perfectly possible for a statement <em>A</em> and its negation <em>not A</em> to both be true. How can this be, and be coherent? What does it all mean? </div>
</div>
</div>
<p>Paraconsistent mathematics is a type of mathematics in which contradictions may be true.
In such a system it is perfectly possible for a statement <em>A</em> and its negation <em>not A</em> to both be true. How can this be, and be coherent? What does it all mean?
And why should we think mathematics might actually be paraconsistent? We'll look
at the last question first starting with a quick trip into mathematical history.</p><p><a href="https://plus.maths.org/content/not-carrot" target="_blank">read more</a></p>https://plus.maths.org/content/not-carrot#commentsmathematical realityGödel's Incompleteness Theoremhalting problemimpossible objectlogicphilosophy of mathematicsRussell's Paradoxwhat is impossibleWed, 24 Aug 2011 07:42:07 +0000mf3445522 at https://plus.maths.org/contentThe philosophy of applied mathematics
https://plus.maths.org/content/philosophy-applied-mathematics
<div class="field field-type-text field-field-author">
<div class="field-items">
<div class="field-item odd">
Phil Wilson </div>
</div>
</div>
<div class="field field-type-filefield field-field-abs-img">
<div class="field-items">
<div class="field-item odd">
<img class="imagefield imagefield-field_abs_img" width="100" height="100" alt="" src="https://plus.maths.org/content/sites/plus.maths.org/files/abstractpics/5/8_jun_2011_-_1618/icon.jpg?1307546325" /> </div>
</div>
</div>
<div class="field field-type-text field-field-abs-txt">
<div class="field-items">
<div class="field-item odd">
<p>We all take for granted that mathematics can be used to describe the world, but when you think about it this fact is rather stunning. This article explores what the applicability of maths says about the various branches of mathematical philosophy.</p>
</div>
</div>
</div>
<p>I told a guest at a recent party that I use mathematics to try to understand migraines. She thought that I ask migraine sufferers to do mental arithmetic to alleviate their symptoms. Of course, what I really do is use mathematics to understand the biological causes of migraines.</p><p><a href="https://plus.maths.org/content/philosophy-applied-mathematics" target="_blank">read more</a></p>https://plus.maths.org/content/philosophy-applied-mathematics#commentsmathematical realityconstructivist mathematicsinfinitylogicphilosophy of mathematicsplatonismwhat is impossibleFri, 24 Jun 2011 09:35:32 +0000mf3445497 at https://plus.maths.org/contentTuring's papers stay at home
https://plus.maths.org/content/turings-papers-stay-home
<div class="field field-type-filefield field-field-abs-img">
<div class="field-items">
<div class="field-item odd">
<img class="imagefield imagefield-field_abs_img" width="100" height="100" alt="" src="https://plus.maths.org/content/sites/plus.maths.org/files/abstractpics/5/25_feb_2011_-_1055/icon-1.jpg?1298631335" /> </div>
</div>
</div>
<div class="field field-type-text field-field-abs-txt">
<div class="field-items">
<div class="field-item odd">
<p>Almost nothing tangible remains of the legendary Bletchley Park codebreaker Alan Turing. So when an extremely rare collection of papers relating to his life and work was set to go to auction last year, an ambitious campaign was launched to raise funds to purchase them for the Bletchley Park Trust and its Museum. The Trust has announced today that the collection has been saved for the nation as the National Heritage Memorial Fund (NHMF) has stepped in quickly to provide £213,437, the final piece of funding required.</p>
</div>
</div>
</div>
<p><a href="http://www-groups.dcs.st-and.ac.uk/~history/Biographies/Turing.html">Alan Turing</a> was one of the twentieth century's most influential mathematicians. He's regarded as the father of modern computer science, played a vital part in breaking the Germans' Enigma code during WW2, fundamental to the Allied victory, and his work in mathematical logic penetrated to the very foundations of maths. Arguably, his work has touched more lives than that of most other mathematicians. </p><p><a href="https://plus.maths.org/content/turings-papers-stay-home" target="_blank">read more</a></p>https://plus.maths.org/content/turings-papers-stay-home#commentsAlan TuringBletchley Parkcomputer scienceEnigmalogicFri, 25 Feb 2011 10:59:47 +0000mf3445432 at https://plus.maths.org/contentPicking holes in mathematics
https://plus.maths.org/content/picking-holes-mathematics
<div class="field field-type-text field-field-author">
<div class="field-items">
<div class="field-item odd">
Marianne Freiberger </div>
</div>
</div>
<div class="field field-type-filefield field-field-abs-img">
<div class="field-items">
<div class="field-item odd">
<img class="imagefield imagefield-field_abs_img" width="100" height="100" alt="" src="https://plus.maths.org/content/sites/plus.maths.org/files/abstractpics/5/15_feb_2011_-_1802/icon.jpg?1297792933" /> </div>
</div>
</div>
<div class="field field-type-text field-field-abs-txt">
<div class="field-items">
<div class="field-item odd">
<p>In the 1930s the logician Kurt Gödel showed that if you set out proper rules for mathematics, you lose the ability to decide whether certain statements are true or false. This is rather shocking and you may wonder why Gödel's result hasn't wiped out mathematics once and for all. The answer is that, initially at least, the unprovable statements logicians came up with were quite contrived. But are they about to enter mainstream mathematics?</p>
</div>
</div>
</div>
<div class="rightimage" style="width: 200px;"><img src="https://plus.maths.org/content/sites/plus.maths.org/files/articles/2011/woodin/godel.jpg" alt="" width="200" height="269"
<p>Kurt Gödel</p><p><a href="https://plus.maths.org/content/picking-holes-mathematics" target="_blank">read more</a></p>https://plus.maths.org/content/picking-holes-mathematics#commentsmathematical realityaxiombinary treeGödel's Incompleteness Theoremgraphgraph theorylogicphilosophy of mathematicstreewhat is impossibleZermelo-Fraenkel axiomatisation of set theoryWed, 23 Feb 2011 10:00:00 +0000mf3445413 at https://plus.maths.org/contentSpaceships are doing it for themselves
https://plus.maths.org/content/spaceships
<div class="field field-type-filefield field-field-abs-img">
<div class="field-items">
<div class="field-item odd">
<img class="imagefield imagefield-field_abs_img" width="100" height="100" alt="" src="https://plus.maths.org/content/sites/plus.maths.org/files/abstractpics/5/17_feb_2011_-_1527/icon.jpg?1297956469" /> </div>
</div>
</div>
<div class="field field-type-text field-field-abs-txt">
<div class="field-items">
<div class="field-item odd">
<p>It requires only a little processing power, but it's a giant leap for robotkind: engineers at the University of Southampton have developed a way of equipping spacecraft and satellites with human-like reasoning capabilities, which will enable them to make important decisions for themselves.</p>
</div>
</div>
</div>
<div class="packagebacklink">Back to the <a href="https://plus.maths.org/content/ingenious-constructing-our-lives">Constructing our lives package</a></div><br clear="all"><p>It requires only a little processing power, but it's a great leap for
robotkind: engineers at the University of Southampton have developed a
way of equipping spacecraft and satellites with human-like reasoning
capabilities, which will enable them to make important decisions for
themselves.<p><a href="https://plus.maths.org/content/spaceships" target="_blank">read more</a></p>https://plus.maths.org/content/spaceships#commentsmathematical realityartificial intelligenceengineeringlogicspace explorationMon, 21 Feb 2011 10:00:00 +0000mf3445425 at https://plus.maths.org/contentSearching for the missing truth
https://plus.maths.org/content/searching-missing-truth
<div class="field field-type-text field-field-author">
<div class="field-items">
<div class="field-item odd">
Marianne Freiberger </div>
</div>
</div>
<div class="field field-type-filefield field-field-abs-img">
<div class="field-items">
<div class="field-item odd">
<img class="imagefield imagefield-field_abs_img" width="100" height="100" alt="" src="https://plus.maths.org/content/sites/plus.maths.org/files/abstractpics/5/10%20Jan%202011%20-%2015%3A02/icon.jpg?1294671756" /> </div>
</div>
</div>
<div class="field field-type-text field-field-abs-txt">
<div class="field-items">
<div class="field-item odd">
<p>Many people like mathematics because it gives definite answers. Things are either true or false, and true things seem true in a very fundamental way. But it's not quite like that. You can actually build different versions of maths in which statements are true or false depending on your preference. So is maths just a game in which we choose the rules to suit our purpose? Or is there a "correct" set of rules to use? We find out with the mathematician Hugh Woodin.</p>
</div>
</div>
</div>
<p>Many people like mathematics because it gives definite answers. Things are either true or false, and true things seem true in a very fundamental way. </p><div class="rightimage" style="width: 150px;"><img src="https://plus.maths.org/content/sites/plus.maths.org/files/articles/2011/woodin/woodin.jpg" alt="" width="150" height="224"
<p>Hugh Woodin.</p><p><a href="https://plus.maths.org/content/searching-missing-truth" target="_blank">read more</a></p>https://plus.maths.org/content/searching-missing-truth#commentsmathematical realitycontinuum hypothesisGödel's Incompleteness Theoreminfinitylogicphilosophy of mathematicsset theorywhat is impossiblewhat is infinityZermelo-Fraenkel axiomatisation of set theoryFri, 28 Jan 2011 19:09:07 +0000mf3445398 at https://plus.maths.org/contentConstructive mathematics
https://plus.maths.org/content/constructive-mathematics
<div class="field field-type-text field-field-author">
<div class="field-items">
<div class="field-item odd">
Phil Wilson </div>
</div>
</div>
<div class="field field-type-filefield field-field-abs-img">
<div class="field-items">
<div class="field-item odd">
<img class="imagefield imagefield-field_abs_img" width="100" height="100" alt="" src="https://plus.maths.org/content/sites/plus.maths.org/files/issue49/features/wilson/icon.jpg?1228089600" /> </div>
</div>
</div>
<div class="field field-type-text field-field-abs-txt">
<div class="field-items">
<div class="field-item odd">
If you like mathematics because things are either true or false, then you'll be worried to hear that in some quarters this basic concept is hotly disputed. In this article <b>Phil Wilson</b> looks at <i>constructivist mathematics</i>, which holds that some things are neither true, nor false, nor anything in between. </div>
</div>
</div>
<div class="pub_date">December 2008</div>
<!-- plusimport -->
<br clear="all" />
<p>Before the world awoke to its own finiteness and began to take the need for recycling seriously, one of the quintessential images of the working mathematician was a waste paper basket full of crumpled pieces of paper. The mathematician sits behind a large desk, furrowed brow resting on one hand, the other hand holding a stalled pencil over yet another sheet of paper soon to be crumpled and
discarded.</p><p><a href="https://plus.maths.org/content/constructive-mathematics" target="_blank">read more</a></p>https://plus.maths.org/content/constructive-mathematics#comments49binary logicconstructivist mathematicsintuitionist mathematicslaw of excluded middlelogicphilosophy of mathematicswhat is impossibleMon, 01 Dec 2008 00:00:00 +0000plusadmin2349 at https://plus.maths.org/contentCantor and Cohen: Infinite investigators part I
https://plus.maths.org/content/cantor-and-cohen-infinite-investigators-part-i
<div class="field field-type-text field-field-author">
<div class="field-items">
<div class="field-item odd">
Richard Elwes </div>
</div>
</div>
<div class="field field-type-filefield field-field-abs-img">
<div class="field-items">
<div class="field-item odd">
<img class="imagefield imagefield-field_abs_img" width="100" height="100" alt="" src="https://plus.maths.org/content/sites/plus.maths.org/files/issue47/features/elwes1/icon.jpg?1212274800" /> </div>
</div>
</div>
<div class="field field-type-text field-field-abs-txt">
<div class="field-items">
<div class="field-item odd">
What's the nature of infinity? Are all infinities the same? And what happens if you've got infinitely many infinities? In this article <b>Richard Elwes</b> explores how these questions brought triumph to one man and ruin to another, ventures to the limits of mathematics and finds that, with infinity, you're spoilt for choice. </div>
</div>
</div>
<div class="pub_date">June 2008</div>
<!-- plusimport -->
<br clear="all" />
<h1>The axiom of choice</h1>
<p><i>This is one half of a two-part article telling a story of two mathematical problems and two men: Georg Cantor, who discovered the strange world that these problems inhabit, and Paul Cohen (who died last year), who eventually solved them. The first of these problems — the axiom of choice — is the subject of this article, while the <a href="/issue47/features/elwes2">other article</a>
explores what is known as the continuum hypothesis.<p><a href="https://plus.maths.org/content/cantor-and-cohen-infinite-investigators-part-i" target="_blank">read more</a></p>https://plus.maths.org/content/cantor-and-cohen-infinite-investigators-part-i#comments47axiomaxiom of choicehistory of mathematicsinfinitylogicphilosophy of mathematicsRussell's Paradoxset theorywhat is infinityZermelo-Fraenkel axiomatisation of set theoryMon, 02 Jun 2008 23:00:00 +0000plusadmin2329 at https://plus.maths.org/contentCantor and Cohen: Infinite investigators part II
https://plus.maths.org/content/cantor-and-cohen-infinite-investigators-part-ii
<div class="field field-type-text field-field-author">
<div class="field-items">
<div class="field-item odd">
Richard Elwes </div>
</div>
</div>
<div class="field field-type-filefield field-field-abs-img">
<div class="field-items">
<div class="field-item odd">
<img class="imagefield imagefield-field_abs_img" width="100" height="100" alt="" src="https://plus.maths.org/content/sites/plus.maths.org/files/issue47/features/elwes2/icon.jpg?1212274800" /> </div>
</div>
</div>
<div class="field field-type-text field-field-abs-txt">
<div class="field-items">
<div class="field-item odd">
<b>Richard Elwes</b> continues his investigation into Cantor and Cohen's work. He investigates the <i>continuum hypothesis</i>, the question that caused Cantor so much grief. </div>
</div>
</div>
<div class="pub_date">June 2008</div>
<!-- plusimport -->
<br clear="all" />
<h1>The continuum hypothesis</h1>
<p><i>This is one half of a two-part article telling a story of two mathematical problems and two men: Georg Cantor, who discovered the strange world that these problems inhabit, and Paul Cohen (who died last year), who eventually solved them. This article explores what is known as the continuum hypothesis, while <a href="/issue47/features/elwes1">the other article</a> explores the axiom
of choice.<p><a href="https://plus.maths.org/content/cantor-and-cohen-infinite-investigators-part-ii" target="_blank">read more</a></p>https://plus.maths.org/content/cantor-and-cohen-infinite-investigators-part-ii#comments47axiomcontinuum hypothesishilbert problemshistory of mathematicsinfinitylogicphilosophy of mathematicsset theorywhat is infinityZermelo-Fraenkel axiomatisation of set theorySun, 01 Jun 2008 23:00:00 +0000plusadmin2330 at https://plus.maths.org/contentOuter space: Venn you can't use Venn
https://plus.maths.org/content/outer-space-venn-you-cant-use-venn
<div class="field field-type-text field-field-author">
<div class="field-items">
<div class="field-item odd">
John D. Barrow </div>
</div>
</div>
<div class="field field-type-filefield field-field-abs-img">
<div class="field-items">
<div class="field-item odd">
<img class="imagefield imagefield-field_abs_img" width="100" height="98" alt="" src="https://plus.maths.org/content/sites/plus.maths.org/files/issue47/outerspace/icon.jpg?1212274800" /> </div>
</div>
</div>
<div class="field field-type-text field-field-abs-txt">
<div class="field-items">
<div class="field-item odd">
When the famous diagram fails </div>
</div>
</div>
<div class="pub_date">June 2008</div>
<!-- plusimport -->
<br clear="all" />
<!-- #include virtual="../../include/gifd_here_box.html" -->
<!-- #echo var="outerspace" -->
<p>The Reverend <a href="http://www-history.mcs.st-andrews.ac.uk/Biographies/Venn.html">John Venn</a> was Master of Caius College, Cambridge and the inventor of a machine for bowling cricket balls, but it is for neither of these distinctions that his name is (almost) a household word. In 1880 he created a handy diagram to help him teach and explain logical possibilities.<p><a href="https://plus.maths.org/content/outer-space-venn-you-cant-use-venn" target="_blank">read more</a></p>https://plus.maths.org/content/outer-space-venn-you-cant-use-venn#comments47logicouterspacevenn diagramSat, 31 May 2008 23:00:00 +0000plusadmin4804 at https://plus.maths.org/contentWe must know, we will know
https://plus.maths.org/content/we-must-know-we-will-know
<div class="field field-type-text field-field-author">
<div class="field-items">
<div class="field-item odd">
Rebecca Morris </div>
</div>
</div>
<div class="field field-type-filefield field-field-abs-img">
<div class="field-items">
<div class="field-item odd">
<img class="imagefield imagefield-field_abs_img" width="100" height="100" alt="" src="https://plus.maths.org/content/sites/plus.maths.org/files/issue41/features/morris/icon.jpg?1164931200" /> </div>
</div>
</div>
<div class="field field-type-text field-field-abs-txt">
<div class="field-items">
<div class="field-item odd">
<b>Runner up in the general public category</b>. Great minds spark controversy. This is something you'd expect to hear about a great philosopher or artist, but not about a mathematician. Get ready to bin your stereotypes as <b>Rebecca Morris</b> describes some controversial ideas of the great mathematician David Hilbert. </div>
</div>
</div>
<div class="pub_date">December 2006</div>
<!-- plusimport -->
<br clear="all" />
<p style="color:purple;"><b><i>This article is a runner-up in the general public category of the Plus new writers award 2006.</i></b></p>
<p><i>"It seems that there was a mathematician who had become a novelist. 'Why did he do that?' people in Göttingen marvelled. 'How can a man who was a mathematician write novels?' 'But that is completely simple,' Hilbert said. 'He did not have enough imagination for mathematics, but he had enough for novels.' "</i></p><p><a href="https://plus.maths.org/content/we-must-know-we-will-know" target="_blank">read more</a></p>https://plus.maths.org/content/we-must-know-we-will-know#comments41axiomEuclidean geometryGödel's Incompleteness Theoremhilbert problemshistory of mathematicslogicphilosophy of mathematicsFri, 01 Dec 2006 00:00:00 +0000plusadmin2295 at https://plus.maths.org/content