Skip to content

Yes, that's fair enough. It's not really what I said, though. I mean my goals were independent of the name. I wouldn't call them mathematics either.

— Woody Bledsoe

Another quote →

Topics

Mathematics

More quotes by Woody Bledsoe

You get a very special purpose prover that uses heuristics, then they stop at the boundary where they can't work anymore.

I don't think it's too hard in any particular area, although I think people are a little surprised how easy it was in limit theorems. I don't think the average person would do it.

Partly, but partly to see how far we could go with automating the proof of mathematical theorems. That was the intent.

We proved — in the stand-alone mode with heuristics — we proved limit theorems of calculus and that's a good sample

It was built to partly prove theorems, which is one of the jobs that AI does. [inaudible word] emission, theorem proving, and so forth.

All Woody Bledsoe quotes →

You may also like

Anyone who believes exponential growth can go on forever in a finite world is either a madman or an economist.

Kenneth Boulding to Kenneth Boulding in: United States. Congress. House (1973)

If the doors of perception were cleansed, everything would appear to man as it is: infinite.

William Blake The Marriage of Heaven and Hell (1790)

Pure mathematics consists entirely of assertions to the effect that, if such and such a proposition is true of anything, then such and such another proposition is true of that thing.

Bertrand Russell

The land of easy mathematics where he who works adds up and he who retires subtracts.

Núria Añó

Attribution

Quote text and notes from Wikiquote: Woody Bledsoe (page history), available under CC BY-SA 4.0. Source quality and labels are our own summary of what Wikiquote records.