Join 3,564 readers in helping fund MetaFilter (Hide)

16 posts tagged with logic and philosophy. (View popular tags)
Displaying 1 through 16 of 16. Subscribe:

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

Master of Philosophy, Lord of Debate, Sultan of Reason

The Adventures of Fallacy Man, from Existential Comics.
posted by Artw on Jan 4, 2014 - 55 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

All the cool kids know their logical fallacies!

Your Logical Fallacy Is... complete with free downloadable infographic poster.
posted by Miko on Apr 19, 2012 - 41 comments

G.H. Hardy reviews Principia Mathematica

"Perhaps twenty or thirty people in England may be expected to read this book." G.H. Hardy's review of Whitehead and Russell's Principia Mathematica, published in the Times Literary Supplement 100 years ago last week. "The time has passed when a philosopher can afford to be ignorant of mathematics, and a little perseverance will be well rewarded. It will be something to learn how many of the spectres that have haunted philosophers modern mathematics has finally laid to rest."
posted by escabeche on Sep 12, 2011 - 29 comments

What is the title of this post?

92 years young, the delightful Raymond Smullyan is a mathematician, logician, magician, concert pianist, and Taoist philosopher - who also pioneered retrograde chess problems.
posted by Trurl on Jun 26, 2011 - 22 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

David Foster Wallace on Fatalism

Consider the Philosopher. The early metaphysical investigations of David Foster Wallace.
posted by homunculus on Dec 14, 2008 - 83 comments

Divine instruments for self learning

Mnemonic Arts of Blessed Raymond LULL
posted by generalist on Apr 7, 2008 - 19 comments

Parmenides

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

free-willy?

According to this guy, you’re not ultimately morally responsible for choosing whether to snark or not to snark in response to this FPP. A discussion of the philosophical problems surrounding freewill from British Analytic philosopher Galen Strawson. (Oh, and while we’re at it, let’s throw in this unrelated review of Strawson’s latest work on consciousness, just for an extra splash of color.)
posted by saulgoodman on May 23, 2007 - 115 comments

Would the Algorithm of Fugue end with A B C?

Douglas Hofstadter says, "What troubles me is the notion that things that touch me at my deepest core -- pieces of music most of all, which I have always taken as direct soul-to-soul messages -- might be effectively produced by mechanisms thousands if not millions of times simpler than the intricate biological machinery that gives rise to a human soul.". That was prompted by his reception to the output of David Cope's project Experiments in Musical Intelligence.
posted by Gyan on Apr 11, 2006 - 22 comments

Can a xlqp make a btzl?

Can God make a rock so heavy that he could not lift it?
posted by brownpau on Jan 13, 2006 - 161 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

Page: 1