12 posts tagged with Logic and science.
Displaying 1 through 12 of 12. Subscribe:

So, the unknowable kicks in

Logic hacking - "Writing shorter and shorter computer programs for which it's unknowable whether these programs run forever, or stop... the winner of the Busy Beaver Game for N-state Turing machines becomes unknowable using ordinary math - somewhere between N = 5 and N = 1919." [more inside]
posted by kliuless on Jul 30, 2016 - 8 comments

A SAT Attack on the Erdos Discrepancy Conjecture

Computers are providing solutions to math problems that we can't check - "A computer has solved the longstanding Erdős discrepancy problem! Trouble is, we have no idea what it's talking about — because the solution, which is as long as all of Wikipedia's pages combined, is far too voluminous for us puny humans to confirm." (via; previously ;)
posted by kliuless on Apr 12, 2014 - 24 comments

Computerized Math, Formal Proofs and Alternative Logic

Using computer systems for doing mathematical proofs - "With the proliferation of computer-assisted proofs that are all but impossible to check by hand, Hales thinks computers must become the judge." [more inside]
posted by kliuless on Mar 16, 2013 - 25 comments

"Mr. Cortex, We Love You!"

In the early 1960s, actor/comedian/writer/composer/TV-star Steve Allen recorded How to Think, an educational album about the brain and the mind. [more inside]
posted by overeducated_alligator on Sep 6, 2011 - 12 comments

Need ammo?

How to Talk to a Climate Sceptic: "...a handy one-stop shop for all the material you should need to rebut the more common anti-global warming science arguments constantly echoed across the internet."
posted by Neilopolis on Dec 5, 2009 - 142 comments

I am a strange loop.

Douglas Hofstadter's Gödel, Escher, Bach: An Eternal Golden Braid has been recorded as a series of video lectures for MIT's Open Courseware project.
posted by loquacious on May 30, 2009 - 74 comments

(Un)blinding them with science!

In a breathless, passionate, yet level-headed 15 part series, YouTube user, paleontologist, ex-Christian, and potential Space Coyote impersonator AronRa presents an uncommonly well-written and presented argument against what he identifies as the 14 "Fundamental Falsehoods of Creationism." [more inside]
posted by Mr. Anthropomorphism on Jan 13, 2009 - 57 comments


Parmenides. "The pre-Socratic philosopher sparked an intellectual revolution that still echoes today. Yet for philosophy and science to continue to progress in the 21st century, we may need to embark on an entirely new cognitive journey ."
posted by homunculus on Dec 27, 2007 - 21 comments

Dissecting Humor

Nothing is funnier than an academic or scientist explaining humor.
posted by Falconetti on Dec 11, 2005 - 10 comments

Nature of Mathematical Truth

Gödel and the Nature of Mathematical Truth : A Talk with Verena Huber-Dyson
posted by Gyan on Jul 29, 2005 - 77 comments

You can't prove this title wasn't an attempt to illustrate Godel

Godel's theorems have been used to extrapolate a great many "truths" about the world. Torkel Franzen sets the record straight in his new book Godel's Theorem: An Incomplete Guide to Its Use and Abuse. Read the introduction (PDF). If you want, check out his explanation of the theorems.
posted by Gyan on Jun 29, 2005 - 65 comments

The Complexity of a Controversial Concept

The Logic of Diversity "A new book, The Wisdom of Crowds [..:] by The New Yorker columnist James Surowiecki, has recently popularized the idea that groups can, in some ways, be smarter than their members, which is superficially similar to Page's results. While Surowiecki gives many examples of what one might call collective cognition, where groups out-perform isolated individuals, he really has only one explanation for this phenomenon, based on one of his examples: jelly beans [...] averaging together many independent, unbiased guesses gives a result that is probably closer to the truth than any one guess. While true — it's the central limit theorem of statistics — it's far from being the only way in which diversity can be beneficial in problem solving." (Three-Toed Sloth)
posted by kliuless on Jun 20, 2005 - 6 comments

Page: 1