[FOM] The Myth of Hypercomputation
One argument against hypercomputation ( Read more... )

Videos from the Conference on Computing and Philosophy 2003

I can't see them yet, but will when I get home.

Tim Van Gelder's "Reason!Able: Computer Assisted Critical Thinking" looks particularly interesting.
Here is his project's website.

It's impossible to prove Pi_1 statements without axioms that talk about infinity ( Read more... )

In the philosophy of mathematics...

I am a formalist...

but let me tell you a story.

The characters are:* Strawman Platonist ( Read more... )

I am a realist-in-truth-value for recursively-enumerable statements. i.e. I believe that statements for which counterexamples could be found if they existed must be either true or false ( Read more... )

Bringsjord has worked out my Penrose-like idea, formalizing his argument in quantified modal logic ( Read more... )