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.

Comment viewing options

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


For a little context, see here.

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?