[Cover] [Contents] [Index] Previous page Next Section

Page 311
finite thickness, 85
finite variants of functions, 17
finite variants of sets, 16
finitety convergent scientist, 142
FOexa identification, 147
FOIL, 113
Fortnow, L., 254, 256, 259, 260
Freivalds, R., 39, 118, 202, 219, 223, 224, 244, 262, 269, 275, 276, 278, 279
Fulk, M., 98, 100-102, 120, 121, 163, 165, 166, 189, 245, 282, 283
Func, 62
function conjectured by a scientist, 51
functional, 19
G
Gasarch, W., 252, 254, 256, 259, 260
generic set, 254
Gill, J., 197
Gleitman, H., 32
Gleitman, L., 32, 82
Gold, E. M., 4, 12, 27, 39, 43, 59, 63, 69, 72, 189, 262, 281, 282
Gold, E.M., 36, 51
Goldin-Meadow, S., 82
Golem, 108
gradualist identification, 123
grammar, 29
equivalence, 269
h-minimal, 273
H
h-Bounded Ex identification, 265
halting problem, 15, 25
Hanlon, C., 32
Harrington, L., 135, 145
high set, 253
Hirsh-Pasek, K., 32
Hopcroft, J., 15, 29
Huexa,m identification, 161
human language, 29, 30, 40, 47, 48, 235
I
identification
accountable, 96
Aexa, 155
Ap, 165
Image-3204.gif 247
ApdExa, 236
approximate explanatory, 155
AscTxtBca, 181
AscEx, 194
AscTxtExa, 181
Bc, 131, 133
Bca, 133
behaviorally correct, 131, 140
BEXa,c, 245
Bexa,c, 223
cautious, 123
conditionally consistent, 122
confident, 59, 84, 124
conservative, 107
consistent, 93, 115
Dap, 166
decisive, 119
dual-monotonic, 125
dual-strong-monotonic, 124
dual-weak-monotonic, 113
Ex, 69
Ex with respect to  Y , 264
Ex=m, 145
Exa, 128
Image-3205.gif, 262
exact, 81
exact in the weak sense, 87
Image-3206.gif, 163
Exscat, 165
Exta, 146
Fexa, 136
FOexa, 147
gradualist, 123
h-Bounded Ex, 265

 
[Cover] [Contents] [Index] Previous page Next Section