[FOM] FOM Digest, Vol 34, Issue 22

[Colin McLarty]

Hendrik Boom makes fine points in his post, where he says 

>From  Hendrik Boom <hendrik at pooq.com> 
>Date  Thu, 20 Oct 2005 19:56:14 -0400 > 

>Let me put my intuitionistic hat on.  Everything I say here will be
>in intuitionistic language.

Like most topos theorists (in my experience) I am not drawn to 
intuitionism.  I am drawn to work in some situations where excluded 
middle fails (notably topos models).  But, precisely as Boom says, 
*this* is not intuitionism.  It is a kind of topology, as Grothendieck 
puts it.

It is nonsense to talk about intuitionism without knowing what it is.  
So people talk a great deal of nonsense.  Boom makes the key point:  An 
argument does not become intuitionistic just by having the 
word "constructive" jammed into it.  It does not even become 
intuitionist merely by avoiding some uses of excluded middle.

best, Colin   


-------------- next part --------------
An embedded message was scrubbed...
From: unknown sender
Subject: no subject
Date: no date
Size: 2317
Url: /pipermail/fom/attachments/20051022/3bc55518/attachment-0008.mht
-------------- next part --------------
An embedded message was scrubbed...
From: unknown sender
Subject: no subject
Date: no date
Size: 2684
Url: /pipermail/fom/attachments/20051022/3bc55518/attachment-0009.mht
-------------- next part --------------
An embedded message was scrubbed...
From: unknown sender
Subject: no subject
Date: no date
Size: 1566
Url: /pipermail/fom/attachments/20051022/3bc55518/attachment-0010.mht
-------------- next part --------------
An embedded message was scrubbed...
From: unknown sender
Subject: no subject
Date: no date
Size: 1582
Url: /pipermail/fom/attachments/20051022/3bc55518/attachment-0011.mht
-------------- next part --------------
An embedded message was scrubbed...
From: unknown sender
Subject: no subject
Date: no date
Size: 2862
Url: /pipermail/fom/attachments/20051022/3bc55518/attachment-0012.mht
-------------- next part --------------
An embedded message was scrubbed...
From: unknown sender
Subject: no subject
Date: no date
Size: 2619
Url: /pipermail/fom/attachments/20051022/3bc55518/attachment-0013.mht
-------------- next part --------------
An embedded message was scrubbed...
From: unknown sender
Subject: no subject
Date: no date
Size: 7268
Url: /pipermail/fom/attachments/20051022/3bc55518/attachment-0014.mht
-------------- next part --------------
An embedded message was scrubbed...
From: unknown sender
Subject: no subject
Date: no date
Size: 4601
Url: /pipermail/fom/attachments/20051022/3bc55518/attachment-0015.mht
-------------- next part --------------
_______________________________________________
FOM mailing list
FOM at cs.nyu.edu
http://www.cs.nyu.edu/mailman/listinfo/fom