Can p → q |- ¬p ∨ q in intuitionistic logic?

Can you prove p → q |- ¬p ∨ q without using the law of the excluded middle or its equivalent? I'm going through a logic book (introductory) and I have an intuition that proving this isn't possible constructively, but I'd like a confirmation.
posted by Monday, stony Monday on Dec 1, 2016 - 14 answers

Challenges, Puzzles and Courses in Maths, Logic and Computing

I'm looking for challenges, puzzles and "teach yourself" courses that involve maths and logic, probably related to computing. Ideally I'd like a curated source (mailing list or regularly updated website), but perhaps the best we can do is collect them here. Inside I will give examples of what I mean by "challenges, puzzles and courses".
posted by andrewcooke on Dec 12, 2015 - 9 answers

"Science is fundamentally flawed"

Do Godel's theorems refute all of science and logic?
posted by Peregrin5 on Jan 4, 2012 - 30 answers

Dyscalculia and logic class

I have a learning disability (dyscalculia/mathematics disorder). Could I handle the formal language component of an undergrad Introduction to Logic class?
posted by autoclavicle on Nov 23, 2010 - 19 answers

What is the next step of this Kenken?

What is the next step of this Kenken?
posted by johnofjack on Jan 30, 2010 - 23 answers

Help me learn to typeset equations like it was my job. (Why? Because it is.)

I am looking for a math typesetting style guide. By this I don't mean the kind of stylesheet for journal submissions that says "Be sure to use the blah-blah-blah LaTeX package and the XYZ equation environment, and our army of editorial assistants will tie up the loose ends and knock off the rough edges." (Why not? Because my advisor is involved in starting a new journal, and suddenly my labmates and I are that army of editorial assistants.)
posted by nebulawindphone on Nov 4, 2009 - 11 answers

You ate ALL MY PIZZA!

Is there a mathematical, economic, logical or game-theory name/description for the following scenario?
posted by contessa on Sep 4, 2009 - 11 answers

Does the study of math sharpen critical thinking skills?

If a man’s wit be wandering, let him post a question about mathematics and reasoning to MetaFilter.
posted by jason's_planet on Sep 25, 2007 - 20 answers

The limits of logic

I've read that Gödel's incompleteness theorem shows that there are definite limits to what logic, mathematics and by extension computers can do. This seems to be unknown among humanists such as myself. What are the things logic cannot do? Earlier AskMe questions about Gödel here and here (this answer is especially good).
posted by Termite on Apr 5, 2006 - 50 answers

Doomsday Argument for Idiots

Can someone explain the Doomsday Argument in a way that a math-challenged person like me can understand?
posted by swift on May 26, 2005 - 37 answers

Page: 1