Last update: Sun Apr 22 02:03:34 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{Curtis:1975:CSF,
author = "Kent K. Curtis",
title = "Computer science, federal programs, and {Nirvana}",
journal = j-SIGCSE,
volume = "7",
number = "1",
pages = "109--113",
month = feb,
year = "1975",
CODEN = "SIGSD3",
DOI = "https://doi.org/10.1145/953064.811142",
ISSN = "0097-8418 (print), 2331-3927 (electronic)",
ISSN-L = "0097-8418",
bibdate = "Sun Nov 18 08:53:50 MST 2012",
bibsource = "http://portal.acm.org/;
http://www.math.utah.edu/pub/tex/bib/sigcse1970.bib",
note = "Proceedings of the 5th SIGCSE symposium on Computer
science education.",
abstract = "My text this morning comes from a highly regarded
German algebraist of the nineteenth century, Leopold
Kronecker. He was engaged in a vigorous debate with
other mathematicians on exactly this question, what are
the foundations of mathematics? What set of axioms can
be used as a basis for deriving everything else? Most
mathematicians were following directions of thought
which invoked the concept of infinity, infinite
sequences, infinite sets, infinite classes, and
reciprocally, the notion of infinitesimal. By
consistent application of logic, their premise
inexorably led to further elaborations such as
trans-finite numbers which are esoteric in the
experience of most of us. Kronecker vigorously asserted
that following this path was an error. He claimed that
one must begin, and not only begin but remain content
with the integers and those things which can be
described algorithmically in terms of them. ``God made
the integers, and all the rest is the work of man.''",
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
- all,
2(3)118,
3(4)24,
4(1)160,
4(2)10,
5(1)18,
5(1)45,
5(1)56,
5(1)68,
5(1)134,
5(1)166,
5(1)181,
5(2)33,
6(1)21,
6(1)46,
6(1)90,
6(4)21,
7(1)7,
7(1)11,
7(1)31,
7(1)51,
7(1)68,
7(1)86,
7(1)102,
7(1)114,
7(1)123,
7(1)143,
7(1)172,
7(1)200,
7(1)212,
7(2)84,
7(3)30,
7(4)25,
8(1)11,
8(1)74,
8(1)90,
8(1)100,
8(1)131,
8(1)200,
8(1)247,
8(1)260,
8(1)266,
8(1)268,
8(1)289,
8(1)304,
8(1)342,
8(1)393,
8(2)45,
8(3)67,
8(3)125,
9(1)6,
9(1)13,
9(1)53,
9(1)113,
9(1)119,
9(1)168,
9(3)34,
9(3)74,
9(4)19,
10(1)31,
10(1)92,
10(1)97,
10(1)119,
10(1)179,
10(1)193,
10(3)35,
10(3)38,
10(3)45,
10(3)59,
10(3)108,
10(3)162,
10(4)20,
11(1)28,
11(1)79,
11(1)101,
11(1)127,
11(1)158,
11(1)182,
11(1)195,
41(2)95
- basis,
5(2)33,
6(1)74,
7(1)15,
7(1)65,
7(1)68,
7(1)123,
7(2)84,
7(4)25,
8(1)35,
8(1)62,
8(1)96,
9(3)51,
10(1)32
- begin,
8(1)189,
9(3)16,
10(3)120
- century,
6(1)161
- claimed,
7(1)206
- class,
5(1)177,
5(1)181,
6(1)6,
6(1)133,
6(1)174,
7(1)31,
7(1)86,
8(1)150,
8(1)179,
8(1)212,
8(3)67,
8(3)143,
9(1)113,
9(1)154,
9(3)16,
9(3)51,
9(3)66,
9(3)74,
9(3)79,
10(1)34,
10(1)53,
10(1)86,
10(1)189,
10(1)260,
10(1)282,
10(3)23,
10(3)27,
10(3)45,
10(3)63,
10(4)28,
11(1)23,
11(1)113
- come,
5(1)24,
6(1)46,
10(1)34
- consistent,
8(1)1,
8(1)350,
9(3)74
- content,
3(4)24,
4(2)10,
5(1)15,
5(1)56,
6(1)97,
6(1)174,
7(1)129,
7(1)148,
7(3)58,
8(1)39,
8(1)49,
8(1)179,
8(1)295,
8(1)359,
8(1)382,
8(2)36,
8(3)22,
8(3)61,
8(3)93,
8(3)102,
8(3)184,
9(1)73,
9(1)173,
9(3)28,
9(3)39,
10(3)1,
10(3)131,
10(3)151,
11(1)22,
11(1)45,
11(1)82,
11(1)136,
11(1)192,
11(1)195,
11(1)236,
11(2)23
- debate,
8(1)298,
8(3)26,
9(1)119
- deriving,
10(1)232
- described,
3(1)21,
4(2)10,
5(1)21,
5(1)24,
5(1)138,
5(1)177,
6(1)1,
6(1)48,
6(1)59,
6(1)97,
6(1)116,
6(1)152,
7(1)20,
7(1)76,
7(1)83,
7(1)123,
7(1)157,
7(1)179,
7(1)206,
7(2)78,
7(3)38,
7(3)50,
7(4)47,
8(1)1,
8(1)90,
8(1)100,
8(1)150,
8(1)158,
8(1)260,
8(3)12,
8(3)39,
8(3)95,
8(3)102,
8(3)111,
8(3)184,
8(4)6,
8(4)15,
9(1)31,
9(1)69,
9(1)73,
9(1)104,
9(1)162,
9(3)6,
9(3)30,
9(3)49,
10(1)7,
10(1)27,
10(1)53,
10(1)70,
10(1)87,
10(1)180,
10(1)193,
10(1)197,
10(1)232,
10(1)255,
10(1)282,
10(2)12,
10(3)1,
10(3)16,
10(3)50,
10(3)55,
10(3)63,
10(3)84,
10(4)20,
11(1)2,
11(1)6,
11(1)28,
11(1)41,
11(1)45,
11(1)49,
11(1)105,
11(1)149,
11(1)202,
11(1)220,
11(1)240,
11(1)247
- direction,
5(1)60,
6(4)5,
8(1)69,
8(1)223,
8(1)260,
8(1)275,
10(1)266,
11(1)202
- else,
6(1)165,
8(3)4,
8(3)135
- engaged,
8(1)371,
10(1)266
- error,
6(1)81,
7(1)168,
8(1)335,
8(1)350,
9(1)37,
9(3)43,
9(4)70,
10(1)33
- federal,
5(1)38,
7(1)114,
8(1)182
- following,
3(4)19,
6(1)40,
6(1)148,
6(1)161,
7(1)71,
7(1)168,
8(1)39,
8(1)69,
8(1)100,
8(1)113,
8(1)192,
9(1)69,
9(3)56,
10(1)34,
10(1)99,
10(1)260,
10(3)67,
10(3)84,
11(1)22,
11(1)37,
11(1)131,
11(1)245
- foundation,
5(1)51,
5(2)33,
7(1)1,
7(1)187,
7(4)25,
8(1)17,
8(1)49,
8(1)267,
8(1)382,
8(3)1,
9(3)6,
9(3)10,
10(3)120,
10(3)162,
11(1)45,
11(1)105,
11(1)192
- further,
3(1)21,
3(4)24,
5(1)45,
5(1)77,
5(1)125,
5(1)153,
6(1)74,
7(1)133,
8(1)212,
8(1)268,
8(1)304,
9(1)168,
9(3)1,
9(3)30,
9(4)45,
10(1)31,
10(1)70,
10(3)16,
10(3)55,
11(1)202
- highly,
5(1)26,
5(1)166,
6(1)116,
6(1)184,
7(1)168,
9(3)56,
10(1)189,
11(1)79
- infinite,
6(1)148,
8(2)36
- invoked,
8(1)284
- led,
5(1)83,
6(3)91,
8(1)131,
8(1)144
- logic,
6(1)97,
7(3)77,
8(1)280,
8(1)335,
8(1)350,
8(3)143,
9(1)13,
9(1)26,
10(1)291,
10(3)50
- made,
2(3)118,
2(4)41,
3(4)24,
4(2)10,
5(1)1,
5(1)51,
5(1)56,
5(1)77,
5(1)149,
5(1)153,
6(1)6,
6(1)15,
6(1)169,
7(1)71,
7(1)76,
7(1)86,
7(1)120,
7(1)187,
7(3)50,
8(1)79,
8(1)113,
8(1)266,
8(1)335,
8(1)371,
8(3)54,
8(3)102,
8(4)8,
9(1)22,
9(1)96,
9(1)108,
9(1)180,
9(2)17,
9(3)10,
10(1)31,
10(1)86,
10(2)12,
10(3)113,
11(1)182,
11(1)202,
11(1)220,
11(1)228
- man,
5(1)132,
8(1)212,
8(3)125,
9(1)133,
10(1)97
- mathematician,
8(1)116,
8(1)137
- mathematics,
2(3)75,
2(4)19,
3(4)24,
5(1)41,
5(1)45,
5(1)48,
5(1)51,
5(1)83,
6(1)28,
6(1)37,
7(1)61,
7(1)148,
7(4)12,
7(4)53,
8(1)11,
8(1)113,
8(1)116,
8(1)137,
8(1)280,
8(3)15,
8(3)22,
9(1)31,
9(1)96,
9(1)108,
9(3)30,
9(3)51,
10(3)45,
11(1)87,
11(1)224,
11(1)232,
11(1)245,
11(2)40
- most,
3(1)21,
3(4)24,
4(1)75,
4(1)160,
4(2)10,
5(1)6,
5(1)21,
5(1)38,
5(1)60,
5(1)70,
5(1)91,
5(1)119,
5(1)125,
5(1)149,
5(1)157,
6(1)1,
6(1)6,
6(1)33,
6(1)46,
6(1)79,
6(1)81,
6(1)90,
6(1)106,
6(1)165,
6(1)184,
6(4)26,
7(1)7,
7(1)20,
7(1)51,
7(1)83,
7(1)172,
8(1)11,
8(1)39,
8(1)69,
8(1)100,
8(1)113,
8(1)192,
8(1)247,
8(3)39,
9(1)31,
9(1)88,
9(1)96,
9(1)100,
9(1)113,
9(1)139,
9(1)145,
9(1)151,
9(3)16,
10(1)70,
10(1)86,
10(1)96,
10(1)119,
10(1)132,
10(1)183,
10(1)255,
10(3)27,
10(3)31,
10(3)35,
10(3)45,
10(3)63,
10(3)67,
10(3)80,
10(3)84,
10(3)131,
10(3)136,
10(3)156,
10(4)28,
10(4)66,
11(1)6,
11(1)87,
11(1)101,
11(1)168,
11(1)202,
11(1)224
- must,
3(4)24,
4(2)10,
5(1)21,
5(1)83,
5(1)97,
5(1)102,
5(1)181,
5(2)33,
6(1)1,
6(1)6,
6(1)21,
6(1)46,
6(1)81,
7(1)123,
7(1)143,
7(1)200,
7(3)30,
7(3)77,
7(4)25,
8(1)29,
8(1)35,
8(1)69,
8(1)86,
8(1)260,
8(1)284,
8(3)30,
8(3)57,
9(1)88,
9(1)180,
10(1)86,
10(1)92,
10(1)96,
10(1)97,
10(1)178,
10(1)179,
10(1)255,
10(3)27,
10(3)55,
10(3)84,
10(3)120,
10(3)162,
11(1)49,
11(1)192
- notion,
5(1)45,
8(1)131,
9(1)129,
9(1)157,
10(3)156,
11(1)158
- number,
2(3)118,
3(4)24,
5(1)157,
6(1)6,
6(1)97,
6(1)161,
6(1)169,
6(1)174,
6(1)184,
6(2)45,
7(1)86,
7(1)124,
7(1)157,
7(1)172,
7(2)84,
7(4)19,
8(1)144,
8(1)192,
8(1)253,
8(1)275,
8(1)289,
8(1)295,
8(1)298,
8(1)382,
8(2)45,
8(3)2,
8(3)26,
8(3)48,
8(3)54,
8(3)57,
8(3)67,
8(3)129,
9(1)6,
9(1)88,
9(1)139,
9(1)151,
9(1)175,
9(1)178,
9(3)16,
9(3)28,
9(3)59,
9(3)66,
10(1)179,
10(1)266,
10(3)45,
10(3)80,
10(4)66,
11(1)18,
11(1)162,
11(1)168,
11(1)187,
11(1)202,
11(1)215,
11(1)245,
11(2)23,
11(2)40,
11(2)52,
11(3)9
- only,
2(4)30,
3(4)24,
4(2)10,
5(1)38,
5(1)68,
5(1)97,
5(1)134,
5(1)177,
6(1)46,
6(1)90,
6(1)161,
6(4)26,
7(1)120,
7(1)158,
7(3)30,
8(1)35,
8(1)49,
8(1)65,
8(1)69,
8(1)100,
8(1)113,
8(1)253,
8(1)289,
8(1)313,
8(3)54,
8(3)80,
9(1)1,
9(1)26,
9(1)88,
9(1)145,
9(3)10,
9(3)16,
9(3)30,
9(3)63,
9(3)66,
9(4)88,
10(1)81,
10(1)92,
10(1)119,
10(1)178,
10(1)189,
10(1)210,
10(1)224,
10(3)35,
10(3)73,
10(3)136,
11(1)131,
11(1)158,
11(1)192,
11(1)232,
11(1)245
- path,
6(1)101,
8(1)11,
9(1)151,
10(3)23,
11(1)41,
11(1)202,
11(4)15
- premise,
8(1)253,
8(3)4,
10(1)96
- question,
2(4)30,
2(4)41,
2(5)43,
3(4)24,
5(1)70,
6(1)6,
6(1)97,
7(1)31,
8(1)86,
8(1)104,
8(1)275,
8(1)289,
8(1)371,
8(3)4,
8(3)26,
8(3)92,
8(3)94,
9(1)108,
9(1)133,
9(3)16,
9(3)59,
9(3)66,
10(1)119,
10(3)27,
10(3)67,
10(3)136,
11(1)87,
11(1)140
- regarded,
8(3)102
- remain,
3(4)24,
4(1)160,
7(1)200,
9(4)70,
10(3)77,
10(3)151,
11(1)22,
11(1)167
- rest,
9(3)74
- sequence,
5(1)125,
6(1)129,
7(1)148,
8(1)268,
8(1)325,
8(3)61,
8(3)80,
9(1)178,
9(3)6,
10(1)180,
10(3)31,
10(3)45,
10(3)50,
10(3)113,
11(1)49,
11(1)187
- set,
2(3)118,
5(1)51,
5(1)177,
5(2)33,
6(1)1,
6(1)21,
6(1)79,
6(1)161,
6(2)45,
7(1)172,
7(3)38,
7(3)77,
8(1)49,
8(1)69,
8(1)100,
8(1)167,
8(1)236,
8(1)253,
8(1)280,
8(1)284,
8(1)295,
8(1)366,
8(1)393,
8(2)45,
8(3)39,
8(3)89,
8(3)184,
9(1)63,
9(1)123,
9(1)133,
9(1)139,
9(3)56,
9(3)74,
10(1)34,
10(1)97,
10(1)180,
10(3)84,
10(3)140,
10(3)162,
10(4)20,
11(1)22,
11(1)75,
11(1)144,
11(1)195
- term,
3(4)24,
5(1)68,
5(1)110,
6(1)116,
7(1)15,
7(3)38,
8(1)86,
8(1)96,
8(1)137,
8(1)158,
8(1)212,
8(1)260,
8(3)67,
8(3)75,
8(3)80,
9(1)1,
9(1)31,
9(1)77,
9(3)51,
9(3)79,
10(1)31,
10(3)13,
11(1)37,
11(1)49,
11(1)70,
11(1)174,
11(1)202
- text,
2(3)113,
2(3)118,
5(1)38,
6(1)111,
7(4)53,
8(1)11,
8(1)104,
8(3)54,
8(3)78,
8(3)106,
9(1)59,
9(3)56,
10(1)260,
10(3)55,
10(3)108,
11(1)28,
11(1)79
- thing,
4(2)10,
6(1)106,
7(1)15,
8(1)79,
8(1)268,
8(4)15
- thought,
2(4)30,
3(3)19,
3(4)24,
5(1)125,
5(3)8,
6(1)46,
6(3)103,
7(1)51,
7(3)58,
8(1)268,
9(1)100,
9(1)151,
9(1)168,
9(1)175,
10(1)183
- were,
2(3)113,
3(1)12,
3(1)21,
3(3)15,
4(1)110,
4(2)10,
5(1)6,
5(1)32,
5(1)60,
5(1)145,
6(1)11,
6(1)40,
6(1)46,
6(1)133,
6(1)165,
6(1)174,
7(1)1,
7(1)31,
7(1)40,
7(1)68,
7(1)86,
7(1)124,
7(1)133,
7(1)148,
7(1)196,
7(2)84,
7(3)77,
8(1)11,
8(1)74,
8(1)137,
8(1)247,
8(1)267,
8(1)280,
8(1)289,
8(1)342,
8(3)93,
8(3)129,
8(4)26,
9(1)53,
9(1)85,
9(1)96,
9(1)113,
9(1)119,
9(1)151,
9(3)10,
9(3)63,
9(3)79,
9(4)19,
10(1)32,
10(1)35,
10(1)36,
10(1)183,
10(1)189,
10(1)260,
10(2)17,
10(3)50,
10(3)67,
10(3)80,
10(3)156,
11(1)10,
11(1)61,
11(1)113,
11(1)158,
11(1)202,
11(1)215,
11(1)245,
11(2)27
- what,
2(4)41,
3(4)24,
5(1)6,
5(1)21,
5(1)68,
5(1)177,
6(1)6,
6(1)40,
6(1)46,
6(1)79,
6(1)81,
6(1)125,
6(1)165,
6(1)169,
7(1)7,
7(1)15,
7(1)95,
7(3)30,
8(1)69,
8(1)79,
8(1)86,
8(1)104,
8(1)137,
8(1)236,
8(1)268,
8(1)304,
8(1)307,
8(1)313,
8(1)335,
9(1)6,
9(1)100,
9(1)119,
9(1)123,
9(1)165,
9(1)168,
9(3)30,
9(3)39,
10(1)31,
10(1)36,
10(1)70,
10(1)96,
10(1)97,
10(1)178,
10(1)266,
10(3)13,
10(3)27,
10(3)67,
10(3)131,
10(3)136,
10(4)42,
11(1)6,
11(1)49,
11(1)140,
11(1)167,
11(1)168,
11(1)195
- work,
3(1)21,
5(1)2,
5(1)38,
5(1)45,
5(1)53,
5(1)70,
5(1)97,
5(1)125,
5(1)138,
5(2)33,
6(1)33,
6(1)48,
6(1)53,
6(1)81,
6(1)161,
7(1)51,
7(1)68,
7(1)76,
7(1)123,
7(2)67,
7(4)53,
8(1)11,
8(1)39,
8(1)150,
8(1)223,
8(1)253,
8(1)267,
8(1)280,
8(1)350,
8(1)355,
8(1)371,
9(1)113,
9(1)142,
9(2)17,
9(3)6,
9(3)16,
9(3)74,
10(1)32,
10(1)92,
10(1)97,
10(1)132,
10(1)178,
10(1)189,
10(1)291,
10(3)63,
10(3)67,
10(3)77,
10(3)84,
10(4)28,
11(1)22,
11(1)37,
11(1)45,
11(1)105,
11(1)131,
11(1)144,
11(1)155