NewsProgramming book reviews, programming tutorials,programming news, C#, Ruby, Python,C, C++, PHP, Visual Basic, Computer book reviews, computer history, programming history, joomla, theory, spreadsheets and more.
http://i-programmer.info/news/112.html
Tue, 30 Aug 2016 04:56:12 +0000Joomla! 1.5 - Open Source Content Managementen-gbA Mathematical Proof Takes 200 Terabytes To State
http://i-programmer.info/news/112-theory/9718-a-mathematical-proof-takes-200-terabytes-to-state.html
http://i-programmer.info/news/112-theory/9718-a-mathematical-proof-takes-200-terabytes-to-state.htmlThe idea that computers play a key role in mathematical proof is well accepted today by all but the purist of mathematicians, but the latest example of proof by computer enters a new realm - a proof 200 terabytes in size.
]]>mike.james@infomaxgroup.co.uk (Mike James)TheoryTue, 10 May 2016 09:00:00 +0000IBM Might Give Some Access To Its Five-Qubit Quantum Computer
http://i-programmer.info/news/112-theory/9702-ibm-might-give-some-access-to-its-five-qubit-quantum-computer.html
http://i-programmer.info/news/112-theory/9702-ibm-might-give-some-access-to-its-five-qubit-quantum-computer.htmlOur headline is reasonably accurate - what do you expect in a single sentence - but others are less so. IBM has provided access to some quantum computing hardware and this is interesting, but it isn't a revolution. Update: They let me play!
]]>mike.james@infomaxgroup.co.uk (Mike James)TheoryThu, 05 May 2016 00:00:00 +0000A New Spaceship Speed In Life
http://i-programmer.info/news/112-theory/9541-a-new-spaceship-in-life.html
http://i-programmer.info/news/112-theory/9541-a-new-spaceship-in-life.htmlThe Life research community has been surprised this month to discover that there is a 28-cell arrangment that moves across the board at a new speed. This is surprising because you would have expected to find this a long while ago.
]]>mike.james@infomaxgroup.co.uk (Mike James)TheoryTue, 22 Mar 2016 00:00:00 +0000Abel Prize For Proving Fermat's Last Theorem
http://i-programmer.info/news/112-theory/9554-abel-prize-for-proving-fermats-last-theorem.html
http://i-programmer.info/news/112-theory/9554-abel-prize-for-proving-fermats-last-theorem.htmlIn 1994 Andrew Wiles proved Fermatâ€™s Last Theorem, which at the time was the most famous, and long-running, unsolved problem in the history of mathematics. Over 20 years later this achievement has earned him the Abel Prize, widely considered as the Nobel Prize for mathematics.
]]>sue.james@infomaxgroup.co.uk (Mike James)TheoryMon, 21 Mar 2016 00:00:00 +0000(Pizza) Pi Day
http://i-programmer.info/news/112-theory/9531-its-pizza-pi-day.html
http://i-programmer.info/news/112-theory/9531-its-pizza-pi-day.htmlPi Day is the 14th of March every year because 3.14 is the start of the infinite sequence of the digits of Pi. This year, to celebrate it, there are some math questions for you set by the famous John H. Conway.
]]>mike.james@infomaxgroup.co.uk (Lucy Black)TheoryMon, 14 Mar 2016 00:00:00 +0000Number Of Legal Go Positions Finally Worked Out
http://i-programmer.info/news/112-theory/9384-number-of-legal-go-positions-finally-worked-out.html
http://i-programmer.info/news/112-theory/9384-number-of-legal-go-positions-finally-worked-out.htmlGo is an important game for AI in that, until very recently, humans were much better at it than computers. It is a complex and subtle game that has only just yielded one of the most fundamental parameters of any game - how many legal positions are there.
]]>mike.james@infomaxgroup.co.uk (Mike James)TheoryWed, 03 Feb 2016 00:00:00 +0000Largest Mersenne Prime Discovered
http://i-programmer.info/news/112-theory/9364-largest-mersenne-prime-discovered.html
http://i-programmer.info/news/112-theory/9364-largest-mersenne-prime-discovered.htmlWe now know that 2^74,207,281-1 is a prime and this is not only the largest prime of this form, a Mersenne prime, but the largest prime of any sort. Is this a discovery? After all, the number has been there all the time and it was always prime or it wasn't. Why do we do this?
]]>mike.james@infomaxgroup.co.uk (Mike James)TheoryWed, 20 Jan 2016 00:00:00 +0000Knuth's 21st Not Christmas Tree Lecture
http://i-programmer.info/news/112-theory/9289-knuths-21st-not-xmas-tree-lecture.html
http://i-programmer.info/news/112-theory/9289-knuths-21st-not-xmas-tree-lecture.htmlThis year's annual lecture by Donald Knuth lecture is a keeper. It is on a topic that will be understandable even if you don't know a lot about it - commafree codes.
]]>mike.james@infomaxgroup.co.uk (Mike James)TheoryThu, 24 Dec 2015 00:00:00 +0000Quantum Physics Is Undecidable
http://i-programmer.info/news/112-theory/9253-quantum-physics-is-undecidable.html
http://i-programmer.info/news/112-theory/9253-quantum-physics-is-undecidable.htmlThere are many supposedly real world applications of computability, but most of them are theoretical and don't apply to situations we are likely to encounter. Now we have a result which proves that a very simple question in quantum mechanics is undecidable.
]]>mike.james@infomaxgroup.co.uk (Mike James)TheoryThu, 10 Dec 2015 10:42:00 +0000A SAT Based Game
http://i-programmer.info/news/112-theory/9236-a-sat-based-game.html
http://i-programmer.info/news/112-theory/9236-a-sat-based-game.htmlThe Boolean Satisfiability problem or SAT is the best known NP Complete problem. It is fairly easy to understand if you have some knowledge of Boolean logic but now we have a simple game that helps you really get inside what is going on.
]]>mike.james@infomaxgroup.co.uk (Mike James)TheorySat, 05 Dec 2015 15:00:00 +0000