303:, which states that a cellular automaton has a configuration with no predecessor if and only if it has two different asymptotic configurations which evolve to the same configuration. He is also known for posing the
307:
of designing an automaton that, starting from a single non-quiescent cell, evolves to a configuration in which all cells reach the same non-quiescent state at the same time; this problem was again solved by Moore.
348:, 1903) and rediscovered by Myhill in 1958, concerns systems of logic in which logical propositions can be members of classes, and can also be about classes; for instance, a proposition
444:
327:. He also developed a constructive set theory based on natural numbers, functions, and sets, rather than (as in many other foundational theories) basing it purely on sets.
490:
628:
285:
396:
364:
are true. In such a system, the class of propositions that state the product of classes that do not include them is paradoxical. For, if proposition
589:"The reason is that in Appendix B Russell also presents another paradox which he thinks cannot be resolved by means of the simple theory of types."
638:
304:
265:
106:
583:
558:
633:
648:
643:
431:
344:
223:
102:
320:
281:
246:
118:
324:
312:
219:
177:
110:
300:
122:
623:
618:
380:
261:
114:
226:
from 1966 until his death in 1987. He also taught at several other universities during his career.
273:
230:
509:
229:
His son, also called John Myhill, is a professor of linguistics in the
English department of the
215:
187:
92:
292:
532:
499:
339:
254:
172:
578:
316:
296:
242:
82:
59:
574:
504:
485:
17:
612:
384:
203:
376:
268:, more commonly known as Rice's theorem, states that, for any nontrivial property
470:
536:
368:
states the product of this class, an inconsistency arises regardless of whether
250:
147:
55:
427:
387:
described by John Clough and Gerald
Myerson and named by them after Myhill.
160:
513:
257:
as the languages that have only finitely many inequivalent prefixes.
154:
527:
Rosenberg, Arnold L. (2009). "9.5 The Rice–Myhill–Shapiro
Theorem".
553:
276:
whether a given Turing machine computes a function with property
288:
that characterizes the recursive isomorphisms of pairs of sets.
598:"Problems Arising in the Formalization of Intensional Logic."
161:
A Semantically
Complete Foundation for Logic and Mathematics
372:does or does not belong to the class it describes.
183:
171:
153:
143:
128:
98:
88:
78:
66:
41:
34:
315:, Myhill proposed an axiom system that avoids the
202:(11 August 1923 – 15 February 1987) was a British
360:asserts that all propositions contained in class
491:Proceedings of the American Mathematical Society
473:(WADC Report TR). Wright Air Development Center.
284:is a computability-theoretic analogue of the
8:
471:Finite automata and representation of events
295:, Myhill is known for proving (along with
31:
503:
531:. New York: Springer. pp. 165–169.
408:
548:
546:
7:
305:firing squad synchronization problem
629:20th-century British mathematicians
584:Stanford Encyclopedia of Philosophy
559:Internet Encyclopedia of Philosophy
352:can "state the product" of a class
486:"Linear Automaton Transformations"
286:Cantor–Bernstein–Schroeder theorem
25:
529:The Pillars of Computation Theory
505:10.1090/S0002-9939-1958-0135681-9
397:Diaconescu–Goodman–Myhill theorem
222:in 1949. He was a professor at
325:intuitionistic Zermelo–Fraenkel
214:Myhill received his Ph.D. from
111:intuitionistic Zermelo–Fraenkel
416:Revue philosophique de Louvain
383:is a mathematical property of
342:in 1902 (and discussed in his
1:
639:University at Buffalo faculty
573:Irvine, Andrew David (2016).
432:Mathematics Genealogy Project
345:The Principles of Mathematics
272:of partial functions, it is
184:Other academic advisors
537:10.1007/978-0-387-09639-1_9
356:, meaning that proposition
266:Rice–Myhill–Shapiro theorem
107:Rice–Myhill–Shapiro theorem
665:
418:, Volume 85, 1987, p. 603.
321:law of the excluded middle
282:Myhill isomorphism theorem
634:Harvard University alumni
218:under the supervision of
193:
136:
649:George Berkeley scholars
336:Russell–Myhill antinomy
313:constructive set theory
249:, proven by Myhill and
220:Willard Van Orman Quine
178:Willard Van Orman Quine
332:Russell–Myhill paradox
301:Garden of Eden theorem
132:Akiko Kino (died 1983)
123:Garden of Eden theorem
103:Russell–Myhill paradox
18:Russell–Myhill paradox
247:Myhill–Nerode theorem
119:Myhill–Nerode theorem
27:British mathematician
644:Cellular automatists
484:Anil Nerode (1958).
469:John Myhill (1957).
262:computability theory
253:, characterizes the
575:"Russell's Paradox"
554:"Russell's Paradox"
449:english.haifa.ac.il
445:"Prof. John Myhill"
231:University of Haifa
600:Logique et Analyse
216:Harvard University
200:John R. Myhill Sr.
188:Lynn Harold Loomis
93:Harvard University
381:Myhill's property
293:cellular automata
291:In the theory of
255:regular languages
241:In the theory of
197:
196:
138:Scientific career
115:Myhill's property
16:(Redirected from
656:
603:
596:
590:
588:
579:Zalta, Edward N.
570:
564:
563:
550:
541:
540:
524:
518:
517:
507:
481:
475:
474:
466:
460:
459:
457:
455:
441:
435:
425:
419:
413:
340:Bertrand Russell
338:, discovered by
243:formal languages
173:Doctoral advisor
167:
73:
70:15 February 1987
51:
49:
32:
21:
664:
663:
659:
658:
657:
655:
654:
653:
609:
608:
607:
606:
602:1 (1958): 78–83
597:
593:
572:
571:
567:
552:
551:
544:
526:
525:
521:
483:
482:
478:
468:
467:
463:
453:
451:
443:
442:
438:
426:
422:
414:
410:
405:
393:
317:axiom of choice
239:
212:
165:
121:
117:
113:
109:
105:
89:Alma mater
71:
62:
53:
47:
45:
37:
28:
23:
22:
15:
12:
11:
5:
662:
660:
652:
651:
646:
641:
636:
631:
626:
621:
611:
610:
605:
604:
591:
565:
542:
519:
498:(4): 541–544.
476:
461:
436:
420:
407:
406:
404:
401:
400:
399:
392:
389:
385:musical scales
238:
235:
211:
208:
195:
194:
191:
190:
185:
181:
180:
175:
169:
168:
157:
151:
150:
145:
141:
140:
134:
133:
130:
126:
125:
100:
99:Known for
96:
95:
90:
86:
85:
80:
76:
75:
74:(aged 63)
68:
64:
63:
60:United Kingdom
54:
52:11 August 1923
43:
39:
38:
35:
26:
24:
14:
13:
10:
9:
6:
4:
3:
2:
661:
650:
647:
645:
642:
640:
637:
635:
632:
630:
627:
625:
622:
620:
617:
616:
614:
601:
595:
592:
586:
585:
580:
576:
569:
566:
561:
560:
555:
549:
547:
543:
538:
534:
530:
523:
520:
515:
511:
506:
501:
497:
493:
492:
487:
480:
477:
472:
465:
462:
450:
446:
440:
437:
433:
429:
424:
421:
417:
412:
409:
402:
398:
395:
394:
390:
388:
386:
382:
378:
373:
371:
367:
363:
359:
355:
351:
347:
346:
341:
337:
333:
328:
326:
322:
318:
314:
309:
306:
302:
298:
294:
289:
287:
283:
279:
275:
271:
267:
263:
258:
256:
252:
248:
244:
237:Contributions
236:
234:
232:
227:
225:
221:
217:
209:
207:
205:
204:mathematician
201:
192:
189:
186:
182:
179:
176:
174:
170:
163:
162:
158:
156:
152:
149:
146:
142:
139:
135:
131:
127:
124:
120:
116:
112:
108:
104:
101:
97:
94:
91:
87:
84:
81:
77:
69:
65:
61:
57:
44:
40:
33:
30:
19:
599:
594:
582:
568:
557:
528:
522:
495:
489:
479:
464:
452:. Retrieved
448:
439:
423:
415:
411:
377:music theory
374:
369:
365:
361:
357:
353:
349:
343:
335:
331:
329:
310:
290:
277:
269:
259:
240:
228:
224:SUNY Buffalo
213:
199:
198:
159:
137:
72:(1987-02-15)
29:
624:1987 deaths
619:1923 births
428:John Myhill
323:, known as
297:E. F. Moore
274:undecidable
251:Anil Nerode
233:in Israel.
148:Mathematics
79:Nationality
36:John Myhill
613:Categories
403:References
56:Birmingham
48:1923-08-11
210:Education
391:See also
319:and the
581:(ed.).
514:2033204
454:5 April
430:at the
83:British
512:
299:) the
280:. The
264:, the
245:, the
166:(1949)
164:
155:Thesis
144:Fields
129:Spouse
577:. In
510:JSTOR
456:2021
330:The
67:Died
42:Born
533:doi
500:doi
375:In
334:or
311:In
260:In
615::
556:.
545:^
508:.
494:.
488:.
447:.
379:,
206:.
58:,
587:.
562:.
539:.
535::
516:.
502::
496:9
458:.
434:.
370:P
366:P
362:C
358:P
354:C
350:P
278:P
270:P
50:)
46:(
20:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.