Hartley Rogers Jr. (July 6, 1926 – July 17, 2015) was an American mathematician who worked in computability theory, and was a professor in the Mathematics...
4 KB (437 words) - 06:41, 29 June 2024
his doctorate. He received his PhD from MIT in 1970, working under Hartley Rogers, Jr, who had himself worked under Alonzo Church. From 1970 until 2001...
9 KB (759 words) - 23:21, 25 January 2024
L'Abbé, Isaac Malitz, Gary R. Mar, Michael O. Rabin, Nicholas Rescher, Hartley Rogers, Jr., J. Barkley Rosser, Dana Scott, Raymond Smullyan, and Alan Turing...
23 KB (2,194 words) - 00:32, 5 July 2024
fixed points of a computable function, is known as Rogers's theorem and is due to Hartley Rogers, Jr. The recursion theorems can be applied to construct...
21 KB (3,163 words) - 09:35, 21 June 2024
Admissible numbering (redirect from Rogers' equivalence theorem)
= c(u,e) satisfies the third part of the first definition above. Hartley Rogers, Jr. showed that a numbering η of the partial computable functions is...
5 KB (723 words) - 11:46, 9 February 2024
William Vann Rogers (October 20, 1911 – July 9, 1993), generally known as Will Rogers Jr., was an American politician, writer, and newspaper publisher...
16 KB (1,135 words) - 10:07, 13 June 2024
painter Hal Rogers, American politician Harold A. Rogers, the founder of Kin Canada Harry Rogers (cricketer), English cricketer Hartley Rogers, Jr., American...
17 KB (1,943 words) - 18:37, 13 July 2024
on computability theory from the (wider) mathematical perspective Hartley Rogers, Jr (1987). Theory of Recursive Functions and Effective Computability...
18 KB (2,168 words) - 11:43, 16 July 2024
World War I flying ace Hartley Rogers Jr. (1926–2015), American mathematician Hartley Sawyer (born 1985), American actor Hartley Shawcross (1902–2003)...
3 KB (372 words) - 15:05, 16 May 2024
(2012). Automata and Computability. Springer. ISBN 978-1-4612-1844-9. Hartley, Rogers Jr (1987). The Theory of Recursive Functions and Effective Computability...
10 KB (1,272 words) - 02:02, 31 October 2023
Wesley. ISBN 0-201-53082-1. Chapter 2: Turing machines, pp. 19–56. Hartley Rogers, Jr., Theory of Recursive Functions and Effective Computability, The MIT...
74 KB (9,526 words) - 13:21, 14 July 2024
Introduction to Algorithms, MIT Press, 2001, ISBN 978-0-262-03293-3 Hartley Rogers, Jr.: Theory of Recursive Functions and Effective Computability, McGraw-Hill...
11 KB (1,657 words) - 23:06, 14 May 2024
reducibility. Theorem 7.VI, Hartley Rogers, Jr., Theory of recursive functions and effective computability Rogers, Hartley Jr. (1987), Theory of recursive...
1 KB (180 words) - 20:09, 27 March 2024
hierarchy Large countable ordinal Ordinal analysis Ordinal notation Hartley Rogers Jr. The Theory of Recursive Functions and Effective Computability, 1967...
2 KB (229 words) - 22:15, 23 January 2024
Institute of Technology, earning a Ph.D. in 1962 under the supervision of Hartley Rogers, Jr., with a thesis on the subject of recursion theory. After receiving...
12 KB (1,067 words) - 14:34, 3 July 2024
(1952–53). Mark Read, CEO of WPP, at Harvard University (1998–99). Hartley Rogers Jr., mathematician and administrator at MIT, at the University of Cambridge...
37 KB (3,659 words) - 19:46, 25 March 2024
Grundlagen der Mathematik 10:5, 1964, pages 65–80 Donald L. Kreider & Hartley Rogers, Jr., "Constructive versions of ordinal number classes", Transactions...
11 KB (1,176 words) - 16:51, 29 December 2022
and author, co-author of The Last Lion: Winston Spencer Churchill Hartley Rogers, Jr., mathematician Alicia Sacramone, ten-time Gymnastics World Championships...
43 KB (4,447 words) - 17:30, 18 May 2024
1966: Marvin Marcus 1966: Peter D. Lax 1965: Elmer Tolsted 1965: Hartley Rogers, Jr. 1965: Louis Brand 1965: R. Duncan Luce 1965: R.H. Bing 1965: Robert...
11 KB (1,348 words) - 20:36, 24 March 2024
Carl Jockusch (redirect from Carl Groos Jockusch Jr.)
Carl Groos Jockusch Jr. (born July 13, 1941, in San Antonio, Texas) is an American mathematician. He graduated from Alamo Heights High School in 1959,...
4 KB (232 words) - 23:20, 16 August 2023
182–189; contains an informal description of the Veblen hierarchy. Hartley Rogers Jr., Theory of Recursive Functions and Effective Computability McGraw-Hill...
40 KB (5,516 words) - 22:53, 5 March 2024
arithmetical. Arithmetical hierarchy Computable set Computable number Hartley Rogers Jr. (1967). Theory of recursive functions and effective computability...
5 KB (727 words) - 22:30, 3 January 2023
modern work in the foundations of mathematics'" (Minsky p. 111 quoting Rogers, Hartley Jr (1959) The present theory of Turing machine computability, J. SIAM...
72 KB (8,851 words) - 10:09, 9 January 2024
University of Warwick Thesis Set-Theoretic Constructions in Model Theory (1964) Doctoral advisor Hartley Rogers Jr. Doctoral students Mike Paterson...
3 KB (176 words) - 23:54, 22 August 2023
1969). "Theory of Recursive Functions and Effective Computability (Hartley Rogers, Jr.)". SIAM Review. 11 (3): 415–416. doi:10.1137/1011079. ISSN 0036-1445...
11 KB (1,436 words) - 23:11, 4 June 2024
(April 3, 1882 – August 13, 1973), who married Marcellus Hartley Dodge Sr. William Rockefeller Jr. died of pneumonia on June 24, 1922, in Rockwood Hall....
12 KB (1,342 words) - 10:46, 11 May 2024
William Alvin Howard Kai Nielsen, Canadian philosopher (died 2021) Hartley Rogers, Jr., mathematician working in recursion theory (died 2015) March 7 -...
3 KB (346 words) - 17:24, 16 June 2024
Jr., who edited the National Law Forum and was an instructor at Notre Dame University; John Mansfield, a Harvard Law School professor; Hartley Rogers...
20 KB (1,360 words) - 03:52, 24 August 2023
logic, philosophy, computer sciences, economics Institutions Brooklyn College CUNY Graduate Center Doctoral advisor Hartley Rogers, Jr Burton Dreben...
10 KB (1,044 words) - 23:01, 21 September 2023
Harry Kelly (anarchist) Harry Oldmeadow Harry Prosch Hartley Burr Alexander Hartley Rogers, Jr. Hartry Field Hartry H. Field Harvey Brown (philosopher)...
73 KB (7,032 words) - 16:39, 17 December 2023