Re: Set theory and Programming
- From: pjb@xxxxxxxxxxxxxxxxx (Pascal J. Bourguignon)
- Date: Tue, 07 Oct 2008 22:27:17 +0200
coreevil@xxxxxxxxx writes:
Hi guys, I'm a cs student and I'm currently taking a course in first-
order logic and set theory, and I was wondering
if anybody actually use FOL and set theory (ZFC) to solve real world
complex programming
problems. Any responses would be appreciated.
Yes, of course. FOL and ZFC are the basis for any kind of logical
reasonning. It's like asking if roller skaters have any actual use of
their legs and walking abilities to solve real world complex skating.
--
__Pascal Bourguignon__ http://www.informatimago.com/
IMPORTANT NOTICE TO PURCHASERS: The entire physical universe,
including this product, may one day collapse back into an
infinitesimally small space. Should another universe subsequently
re-emerge, the existence of this product in that universe cannot be
guaranteed.
.
- Follow-Ups:
- Re: Set theory and Programming
- From: coreevil
- Re: Set theory and Programming
- References:
- Set theory and Programming
- From: coreevil
- Set theory and Programming
- Prev by Date: Set theory and Programming
- Next by Date: Re: Set theory and Programming
- Previous by thread: Set theory and Programming
- Next by thread: Re: Set theory and Programming
- Index(es):
Relevant Pages
|
