Knowledge and Computing: Computer Epistemology and Constructive Skepticism

Name Index

Aczél, J., 130 Ainesidemos, 114 Andréka, H., 93 Aristotle, 48, 82, 112, 113, 135, 144, 145, 148, 186 Arrow, K. J., 189 Aumann, r.J., 134 babbage, C., 34 backus, J., 83 bacon, r., 13 barabási, A.L., 146 barcan marcus, r., 104 bernoulli, J., 120 bhaskara, 162 black, F., 134 bloor, D., 114 bolyai, J., 89 bolzano, b., 54 boole, G., 69, 82 borda, J.C. de, 190 borel, 134 bourbaki, 89 brahmagupta, 162 brouwer, 89 buchanan, J.m., 134 Cantor, G., 54, 88, 181 Čapek, K., 141 Cayley, A., 70 Chaitin, G., 85, 101, 166 Church, A., 181 Condorcet, m.J.A.N., 134, 190 Conway, J., 37 , 53, 157 Dantzig, G., 136 Davis, 85,89 de Kleer, J., 179 de morgan, A., 46, 82 Dedekind, r.r.J., 166 Dempster, A.P., 127 , 178 Descartes, r., 65, 161 Dieudonné, J.A.E., 44 Diogenes Laertius, 114, 183, 185 Diophantos of Alexandria, 160, 162 Dirac, P., 52, 77 Drótos, m., 156 Einstein, A., 29, 112 Epimenides, 181 Érdi, P. 146 Escher, m.C., 76 Eubulides, 181, 182, 183 Feynman, 163 Fourier, J.b.J., 63 Fraenkel, A., 89 Frege, G., 34, 82, 161 Galois, É., 65, 165 Gassendi, P., 144 Gauguin, P., 142 Goethe, J.W., 37 , 70, 81, 94, 141, 185 Gödel, K., 92, 98, 99, 100, 101, 132, 177 , 181, Gosset, W.s., 122 Name Index i3 Vámos.indb 211 2/5/10 4:11:20 PM 212 KNOWLEDGE AND COMPUTING Grover, L., 92, 180 Hacking, i., 120, 121 Halpern, J.Z., 121 Harsányi, J., 134 Hawking, s., 65, 89, 166 Heijenoort, J., 82, 85 Heron of Alexandria, 122 Hilbert, D., 85, 99, 102, 161 Hofstadter. D.r., 44, 76, 101 Huizinga, J., 111 Hume, D.A., 147 , 148 Hurwitz, L., 134 Jevons, W.s., 82 Kahnemann, D., 134 Kallimachos, 103 Kant, i., 82, 120, 148 Kandel, E., 24 Karinthy, F., 146 Karmarkar, N., 136 Kauffman, s.A., 138 Khachiyan, L.H., 136 Kis, T., 156 Kneale, W. And m., 115 Kolmogorov, A.N., 101, 105, 123, 124, 135 Kripke, s.A., 104 Kronecker, 166 Ktesibios, 122 Kuhn, T., 77 Lagrange, J.L., 51, 70 Lakatos, i., 107 , 120 Leibniz, G.W., 34, 43, 82, 83, 161 Lenstra, A.K., 137 Lenstra, H.W., 76, 137 Leontief, W.W., 90 Lie, s.m., 55, 64, 70, 170, 171 Lobachewsky, N.i., 89 Lovász, L., 137 Löwenheim, L., 100 Lucianus, 182 Lullus, 189 mandelbrot, b., 76 marsh, A., 14 maskin, E.s., 134 mcCarthy, J., 88, 177 mill, J.s., 144 moore, G.E., 142, 178 myerson, r.b., 134 Nash, J.F.Jr., 134 Naur, P., 83 Neumann, J. von, 37 , 44, 53, 90, 126, 134, 157 , 158 Newton, i., 8, 43, 44, 50, 55, 65, 161 Nietzsche, F., 147 Norman, D., 143 oughtred,W., 161 ovid, 35 Panini, 83 Pareto, V., 134 Parsons, T., 134 Pascal, b., 119, 120 Pasteur, L., 119 Peano, G., 89, 177 Penrose, r., 166 Petersen, J., 167 Popper, K., 106, 120 Post, E.L., 89 Price, D.J. de solla, 29 Protagoras, 181 Pyrrhon, 114, 147 Pythagoras, 112, 162 ramsey, F.P., 138 regiomontanus, J.m., 161 richard, J., 100 riemann, G.F.b., 65, 89, 91, 130, 166, rituparna, 118 i3 Vámos.indb 212 2/5/10 4:11:20 PM 213 Name Index russell, b., 98, 99, 101, 102, 112, 161, 181 sanchez, F., 144 saussure, F. de, 83 schelling, T.C., 134 scholes, m.s., 134 schönberg, A., 112 seneca, 147 sextus Empiricus, 114, 188 shafarevich, i.r., 44, 51, 163 skolem, T.A., 82, 100 slovic, P., 134 smith, A., 134 smullyan, r., 101, 181 spinoza, b., 155 Tarski, A., 89 Terentianus maurus, 115 Tertullian, 111, 113 Tullock, G., 134 Turing, A.m., 44, 101, 132, 158, 181 Tversky, A., 134 Vapnik, V.N., 168 Venter, J.C., 163 Vitruvius, 16 Volterra, V., 65 Walpole,H., 118 Weber, m., 134 Whitehead, A.N., Wittgenstein, L., 36, 77 , 97 , 107 , 144, 145 Young, J.Y., 24 Zadeh, L., 114, 127 Zermelo, E.F., 89 i3 Vámos.indb 213 2/5/10 4:11:20 PM i3 Vámos.indb 214 2/5/10 4:11:20 PM ...