Brent Meeker wrote:
> It's even more than seeing where axioms and rules of inference lead. Given some axioms and rules of inference the only truths you can reach are those of the form "It is true that axioms => theorems".
For formalists, all mathematical truths are of this form.
> Brent Meeker
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups "Everything List" group.
To post to this group, send email to everything-list.domain.name.hidden
To unsubscribe from this group, send email to everything-list-unsubscribe.domain.name.hidden
For more options, visit this group at
http://groups.google.com/group/everything-list
-~----------~----~----~----~------~----~------~--~---
Received on Wed Oct 25 2006 - 07:57:36 PDT