FOM: ordered pair: Bourbaki Vedasystem at
Sun May 2 19:18:32 EDT 1999

 The Bourbaki's approach to introducing notation
for ordered pair is preferable because one cannot prove
silly theorems like (x,y) U {x} =  (x,y).
The Bourbaki's approach is related to abstract data types --
the most fundamental concept on which the modern programming
languages like Java, C++, Eiffel are based.

Victor Makarov, Brooklyn.

More information about the FOM mailing list