[Search for users] [Overall Top Noters] [List of all Conferences] [Download this site]

Conference rusure::math

Title:	Mathematics at DEC

Moderator:	RUSURE::EDP

Created:	Mon Feb 03 1986
Last Modified:	Fri Jun 06 1997
Last Successful Update:	Fri Jun 06 1997
Number of topics:	2083
Total number of notes:	14613

1995.0. "Are you the Pope?" by EVTSG8::ESANU (Au temps pour moi) Mon Sep 04 1995 06:03

(Mr. Gardner strikes again!)

From

Joseph E. Stoy, "The Scott-Strachey Approach to Programming Language
Theory", The MIT Press, 1985, ISBN 0-262-69076-4 :

Exercise 2 (p. 117). Let the integer  x  be a solution of  x = x + 1 .
Prove that you are the Pope. [...]

This is in  Chapter 7. Reflexive Domains , in which  P-omega , the
lambda-calculus  model, is presented. 

/Mihai.

T.R	Title	User	Personal Name	Date	Lines
1995.1	Bert	MOVIES::HANCOCK		`Mon Sep 04 1995 07:19`	11
	> Exercise 2 (p. 117). Let the integer x be a solution of x = x + 1 . > Prove that you are the Pope. [...] This is originally from Bertrand Russell. From x = x + 1 it follows that 1 = 2. Now consider the cardinal of the set {me, Pope}. ... Hank
1995.2	exit	JOBURG::BUCHANAN		`Mon Sep 04 1995 17:07`	5
	> 1995 So nice to see that we're up to date! Andrew.
1995.3	1996?	EVTSG8::ESANU	Au temps pour moi	`Fri Sep 08 1995 14:47`	3
	Let's not wait for 1996 to post other topics! /Mihai.
1995.4	Re: .0	DECADA::YODER	MFY	`Mon Sep 11 1995 12:35`	2
	I have an image of a man in a triple crown reading the text and thinking, "How did they know?".