Last update: Wed Sep 26 02:07:32 MDT 2018
Top |
Symbols |
Numbers |
Math |
A |
B |
C |
D |
E |
F |
G |
H |
I |
J |
K |
L |
M |
N |
O |
P |
Q |
R |
S |
T |
U |
V |
W |
X |
Y |
Z
BibTeX entry
@Article{Taylor:1998:MCT,
author = "R. Gregory Taylor",
title = "Motivating the {Church--Turing} thesis in the
twenty-first century",
journal = j-SIGCSE,
volume = "30",
number = "3",
pages = "228--231",
month = sep,
year = "1998",
CODEN = "SIGSD3",
DOI = "https://doi.org/10.1145/290320.283551",
ISSN = "0097-8418 (print), 2331-3927 (electronic)",
ISSN-L = "0097-8418",
bibdate = "Sat Nov 17 16:56:32 MST 2012",
bibsource = "http://portal.acm.org/;
http://www.math.utah.edu/pub/bibnet/authors/t/turing-alan-mathison.bib;
http://www.math.utah.edu/pub/tex/bib/sigcse1990.bib",
abstract = "Theory of Computation students frequently fail to
appreciate the significance of the Church---Turing
Thesis for one of two reasons. First, there is a
tendency, on the part of students, to regard
Church---Turing as tautologous and, consequently,
devoid of important content. Second, there is a
contrary impulse to view Church---Turing as unmotivated
or even implausible. We describe our experience using
simulation software in an effort to combat these two
tendencies.",
acknowledgement = ack-nhfb,
fjournal = "SIGCSE Bulletin (ACM Special Interest Group on
Computer Science Education)",
journal-URL = "http://portal.acm.org/browse_dl.cfm?idx=J688",
}
Related entries
- appreciate,
24(1)176,
24(1)181,
25(4)33,
27(1)302,
28(1)348,
30(1)365,
31(3)13
- century,
26(1)193,
29(1)367,
29(2)11,
30(1)370,
30(3)298,
31(1)352,
31(4)19
- Church,
24(3)51
- computation,
22(2)52,
24(1)281,
24(2)35,
24(3)51,
26(1)295,
26(1)300,
26(1)357,
26(4)9,
27(1)141,
27(1)209,
27(1)214,
28(1)358,
28(4)19,
28(z)230,
30(1)227,
31(1)105
- consequently,
24(1)19,
24(1)67,
30(3)264,
31(2)65
- content,
22(2)34,
22(4)5,
24(1)5,
24(1)87,
24(1)255,
24(4)43,
25(2)31,
26(1)36,
26(1)150,
26(1)160,
26(3)58,
26(4)5,
27(1)39,
27(1)273,
27(4)43,
28(1)73,
28(1)88,
28(1)93,
28(1)160,
28(2)49,
28(2)56,
28(3)12,
28(4)25,
28(4)55,
29(1)101,
29(1)111,
29(1)320,
29(1)325,
29(3)42,
29(3)114,
29(3)136,
29(4)58,
30(1)58,
30(1)87,
30(1)107,
30(1)166,
30(1)302,
30(1)370,
30(2)28,
30(2)61,
30(3)25,
30(3)32,
30(3)117,
30(3)232,
30(3)249,
30(3)254,
31(1)237,
31(2)42,
31(2)55,
31(2)86,
31(3)107,
31(3)127,
31(4)48
- contrary,
24(1)72,
24(3)11,
26(1)51
- effort,
22(2)52,
22(3)47,
24(1)34,
24(1)63,
25(2)1,
26(1)198,
26(1)349,
26(4)2,
26(4)51,
27(1)214,
27(1)292,
27(1)340,
27(1)360,
27(3)60,
28(1)130,
28(1)195,
28(1)214,
28(1)290,
29(1)111,
29(1)277,
29(1)282,
29(2)17,
29(2)39,
29(3)42,
29(3)120,
30(1)25,
30(1)97,
30(1)145,
30(1)171,
30(1)366,
30(3)209,
30(3)243,
30(3)272,
30(3)311,
31(1)27,
31(1)184,
31(1)189,
31(2)17,
31(3)60,
31(3)187
- even,
23(2)60,
23(4)51,
24(1)102,
24(1)134,
24(1)304,
24(2)7,
24(4)49,
26(1)169,
26(1)344,
26(2)19,
27(1)292,
28(1)165,
28(4)55,
29(1)30,
29(1)77,
29(2)17,
30(1)82,
30(1)97,
30(1)145,
30(1)176,
30(1)190,
30(1)207,
30(1)262,
30(2)53,
31(2)37,
31(2)78
- fail,
26(1)218,
28(1)83,
28(3)55,
29(1)204,
30(3)139,
31(3)9
- frequently,
27(1)268,
27(3)50,
27(4)9,
29(1)96,
29(1)238,
30(1)198,
31(4)32
- important,
23(1)130,
23(2)21,
23(3)57,
24(1)19,
24(1)92,
24(1)230,
24(1)246,
24(1)259,
24(1)264,
24(1)286,
24(3)11,
24(4)35,
25(1)78,
26(1)66,
26(1)111,
26(1)198,
26(1)203,
26(1)319,
26(1)329,
26(1)339,
26(2)52,
26(3)29,
26(3)56,
27(1)56,
27(1)248,
27(1)268,
27(1)287,
27(1)322,
28(1)78,
28(1)83,
28(1)185,
28(1)190,
28(1)217,
28(1)378,
28(2)3,
28(3)17,
28(4)8,
29(1)6,
29(1)253,
29(2)54,
29(3)21,
29(3)62,
29(3)133,
29(4)45,
30(1)25,
30(1)48,
30(1)82,
30(1)97,
30(1)126,
30(1)166,
30(1)194,
30(1)198,
30(1)207,
30(1)212,
30(1)252,
30(1)302,
30(1)341,
30(1)382,
30(3)28,
30(3)37,
30(3)74,
30(3)148,
30(3)153,
30(3)209,
30(3)310,
31(1)73,
31(1)141,
31(1)160,
31(1)198,
31(2)55,
31(2)62,
31(2)78,
31(3)40,
31(3)60,
31(3)115,
31(3)147,
31(3)175
- motivating,
25(1)78,
26(4)25,
27(1)263,
28(1)160,
28(1)195,
28(2)31,
30(1)68,
30(1)341
- part,
22(3)47,
23(2)33,
23(2)51,
24(1)102,
24(1)147,
24(1)246,
24(3)14,
24(3)29,
25(1)78,
25(4)38,
26(1)309,
26(1)324,
26(1)349,
26(2)2,
26(2)19,
26(3)22,
26(3)45,
26(4)29,
26(4)56,
26(4)59,
27(1)24,
27(1)48,
27(1)126,
27(1)331,
27(1)340,
27(2)18,
27(2)31,
27(4)57,
28(1)112,
28(1)150,
28(1)160,
28(1)190,
28(1)290,
28(3)2,
28(4)8,
29(1)126,
29(1)248,
29(1)310,
29(2)31,
29(3)54,
29(3)136,
30(1)20,
30(1)87,
30(1)121,
30(1)341,
30(2)11,
30(2)53,
30(3)37,
30(3)153,
30(3)162,
30(3)171,
30(3)206,
30(3)219,
30(3)236,
30(3)264,
30(4)28,
30(4)42,
31(1)48,
31(1)53,
31(1)68,
31(1)165,
31(1)247,
31(1)266,
31(1)276,
31(1)311,
31(1)316,
31(1)346,
31(2)8,
31(3)187,
31(3)204,
31(4)10,
31(4)13,
31(4)79
- reason,
23(2)39,
24(1)63,
24(1)92,
24(1)107,
24(2)29,
24(4)35,
25(3)26,
26(1)51,
26(1)286,
26(4)17,
27(1)146,
27(1)360,
27(4)57,
28(1)37,
28(1)102,
28(1)155,
28(2)3,
28(2)25,
29(1)77,
29(1)131,
29(1)248,
29(1)384,
29(4)58,
30(1)6,
30(3)108,
30(3)162,
31(1)247,
31(1)346
- regard,
22(3)7,
25(3)58,
27(1)6,
29(1)243,
29(3)42,
30(1)365,
30(2)48,
31(1)346
- second,
23(3)17,
23(4)48,
24(1)304,
24(4)49,
25(2)51,
25(4)13,
26(1)366,
26(2)19,
27(1)19,
27(1)186,
27(2)2,
27(4)9,
28(1)195,
28(1)353,
28(4)36,
29(1)53,
29(2)46,
29(3)136,
30(1)282,
30(1)312,
30(1)370,
30(1)378,
30(3)46,
30(3)64,
30(3)213,
31(1)22,
31(1)27,
31(1)43,
31(1)95,
31(1)252,
31(1)311,
31(3)198
- significance,
27(1)56,
27(3)50,
30(4)37,
31(1)350,
31(1)351,
31(3)199
- simulation,
22(1)53,
22(1)125,
22(2)34,
23(1)87,
23(2)9,
24(1)129,
24(1)192,
24(2)7,
24(2)55,
24(3)57,
24(3)60,
24(4)15,
25(1)237,
25(4)41,
26(1)126,
26(1)178,
26(1)329,
26(3)51,
27(1)19,
27(1)233,
27(1)355,
27(2)59,
28(1)47,
28(1)53,
28(1)175,
28(1)180,
28(1)368,
28(2)62,
28(z)233,
29(1)39,
29(1)184,
29(1)310,
29(1)345,
29(3)42,
29(3)71,
29(4)22,
30(1)1,
30(1)48,
30(1)227,
30(3)5,
31(1)63,
31(1)92,
31(1)105,
31(1)227,
31(3)131
- tendency,
29(1)53
- theory,
22(3)34,
22(4)5,
23(2)45,
23(3)20,
24(1)81,
24(1)147,
24(2)55,
24(3)51,
25(1)78,
25(1)256,
25(2)19,
25(4)13,
26(1)208,
26(1)290,
26(4)59,
27(1)146,
27(1)214,
27(1)350,
27(3)39,
28(1)107,
28(1)112,
28(1)117,
28(1)232,
28(3)29,
29(1)15,
29(1)44,
29(2)17,
29(3)111,
30(1)77,
30(1)166,
30(1)257,
30(1)331,
30(2)53,
30(2)61,
30(3)64,
30(3)105,
30(3)139,
30(3)302,
31(1)43,
31(1)68,
31(1)105,
31(1)110,
31(1)119,
31(1)321,
31(1)336,
31(3)17,
31(4)70
- there,
22(2)2,
22(3)7,
22(4)49,
23(3)2,
23(4)13,
24(1)173,
24(1)286,
24(2)59,
24(3)1,
24(3)14,
24(3)51,
24(3)57,
25(3)58,
26(1)6,
26(1)56,
26(1)102,
26(1)141,
26(1)258,
26(1)300,
26(4)5,
26(4)25,
27(1)204,
27(1)253,
27(2)41,
27(3)50,
28(1)73,
28(1)83,
28(1)195,
28(1)204,
28(1)266,
28(1)338,
28(1)378,
28(2)25,
28(2)31,
28(3)12,
29(1)30,
29(1)63,
29(1)248,
29(1)277,
29(1)355,
29(2)54,
29(3)77,
29(3)114,
30(1)20,
30(1)40,
30(1)82,
30(1)97,
30(1)145,
30(1)190,
30(1)222,
30(1)341,
30(1)382,
30(3)213,
30(3)236,
30(3)249,
30(3)275,
30(3)310,
31(1)31,
31(1)122,
31(1)179,
31(1)291,
31(2)17,
31(2)60,
31(2)73,
31(3)60,
31(3)123,
31(3)143,
31(3)147,
31(4)13,
31(4)35,
31(4)48
- thesis,
24(3)51,
31(4)79,
31(4)87
- Turing,
24(2)55,
24(3)51,
26(1)324,
26(2)5,
29(1)15,
29(2)23,
31(1)105,
31(1)336
- unmotivated,
24(4)27
- view,
22(2)2,
23(1)184,
24(1)72,
24(4)52,
25(1)307,
25(2)31,
26(1)238,
26(2)2,
26(2)52,
26(3)51,
27(1)186,
27(1)223,
27(2)18,
27(3)27,
27(3)50,
27(3)53,
28(1)117,
28(1)160,
28(1)358,
28(3)2,
29(1)82,
29(1)384,
29(3)6,
29(4)58,
30(1)63,
30(1)277,
30(1)336,
30(1)366,
30(2)19,
30(2)36,
30(3)18,
30(3)37,
30(3)86,
30(3)153,
30(4)46,
31(1)17,
31(1)31,
31(1)136,
31(1)276,
31(3)29,
31(3)95,
31(3)127,
31(3)180,
31(3)196