Skip to content

Woody Bledsoe Quotes

1921–1995 United States

Woody Bledsoe (November 12, 1921 – October 4, 1995) was an American mathematician, computer scientist, and prominent educator. He is one of the founders of artificial intelligence (AI), making early contributions in pattern recognition,facial recognition, and automated theorem proving.

United States
Computer scientists
Educators

Random Woody Bledsoe quote

6 quotes

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.

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.

Attribution

Quotes and notes from Wikiquote: Woody Bledsoe (page history), available under CC BY-SA 4.0.