Home » forums » LtU Forum

Algorithmically Unbounded Journal of Mathematical Truths

As many Lambda readers will be aware, there is a continuing controversy as to whether the human comprehension of mathematics is bounded by an application of Godel's incompleteness theorem. To help clarify this matter, I have started a journal Algorithmically Unbounded Journal of Mathematical Truths, and I am currently inviting submissions.

By Philip Dorrell at 2004-10-24 23:20 | LtU Forum | previous forum topic | next forum topic | other blogs | 9151 reads

Comment viewing options

Select your preferred way to display the comments and click "Save settings" to activate your changes.

RDRR

For a little context, see here.

By Dominic Fox at Mon, 2004-10-25 17:49 | login or register to post comments

Just thinking out loud

which is probably a humbling experience in these parts. But we know that simple programming languages can be used as the basis for constructing much more sophisticated and abstract languages. But there does seem to be a fixed boundary beyond which programming languages can not be used to come up with apt solutions to the world of problems.

Anyway, beyond the question of comprehension, I'm wondering what role the programming languages play in our understanding?

By Chris Rathman at Mon, 2004-10-25 18:56 | login or register to post comments