<--- Back to Details
First PageDocument Content
Models of computation / Computability theory / Turing machine / Formal methods / Collatz conjecture / Conjectures / Undecidable problem / Register machine / Function / Mathematics / Mathematical logic / Theoretical computer science
Date: 2007-04-29 22:58:36
Models of computation
Computability theory
Turing machine
Formal methods
Collatz conjecture
Conjectures
Undecidable problem
Register machine
Function
Mathematics
Mathematical logic
Theoretical computer science

The Undecidability of the Generalized Collatz Problem Stuart A. Kurtz

Add to Reading List

Source URL: people.cs.uchicago.edu

Download Document from Source Website

File Size: 67,66 KB

Share Document on Facebook

Similar Documents

A Survey on Register Allocation Fernando Magno Quint˜ao Pereira October 12, 2008 Abstract Register allocation is the problem of mapping program variables to either machine registers or memory addresses. A good compiler

DocID: 1uRTG - View Document

A Register-free Abstract Prolog Machine with Jumbo Instructions Neng-Fa Zhou CUNY Brooklyn College & Graduate Center 1

DocID: 1tKaP - View Document

A Register-free Abstract Prolog Machine with Jumbo Instructions (TR, CUNY CS, 2007) Neng-Fa Zhou CUNY Brooklyn College & Graduate Center

DocID: 1tB82 - View Document

Herbert Hoover / Conservatism in the United States / American Relief Administration / Hoover Institution / Hoover Institution Library and Archives / Stanford University / Charles Richard Crane / Education in the United States / California / United States

http://oac.cdlib.org/findaid/ark:/13030/tf0x0n97nf No online items Register of the Donald M. Brodie Miscellaneous Papers, Processed by Olga Dunlop; machine-readable finding aid created by James Lake Hoover Inst

DocID: 1rl7M - View Document

Economy / Business / Invoice / Cash machine / NCR Corporation / Receipt / Document

[Type here] GUIDE RE: APPLIGATION OF IMPORT THRU THE PHILIPPINES NATIONAL SINGLE Wl N DOW fuvrvur. nsw. qov. ph ) 1. Register at the Philippine National Single Window ( www.nsw.gov.ph) a. You can call their helpdesk hot

DocID: 1qQD6 - View Document