[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

1260.0. "In search of Takeuchi" by IE::SELL (Peter Sell UIA/ADG - 830 3966) Wed Jun 27 1990 09:40

If anyone reading this conference has a definition of the Takeuchi function,
also known as 'tak', I would be grateful if they could post it here.

It is a double recursive function, much like Ackermann, but not quite as 
vicious.

Thanks,

Peter
T.RTitleUserPersonal
Name
DateLines
1260.1GUESS::DERAMOColorado Rocky Mountain highWed Jun 27 1990 10:525
	Is TAK one of those functions used to test LISP
	implementations?  If so you may also want to
	check TURRIS::LISP.

	Dan