-
Notifications
You must be signed in to change notification settings - Fork 7
/
Copy pathfmcfriends.tex
112 lines (112 loc) · 5.22 KB
/
fmcfriends.tex
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
\DefFriend Abel Abel, Niels Henrik;
\DefFriend Ackermann Ackermann, Wilhelm;
\DefFriend Aczel Aczel, Peter Henry George;
\DefFriend Adleman Adleman, Leonard;
\DefFriend Artin Artin, Emil;
\DefFriend alKhwarizmi al-Khwārizmī, Muhammad ibn Musa;
\DefFriend Backus Backus, John;
\DefFriend Baire Baire, René-Louis;
\DefFriend Banach Banach, Stefan;
\DefFriend Bell Bell, Eric Temple;
\DefFriend Bernays Bernays, Paul Isaac;
\DefFriend Bernoulli Bernoulli, Jacob;
\DefFriend Bernstein Bernstein, Felix;
\DefFriend Bezout Bézout, Étienne;
\DefFriend Birkhoff Birkhoff, Garrett;
\DefFriend Bolzano Bolzano, Bernard;
\DefFriend Boole Boole, George;
\DefFriend Borel Borel, Émile;
\DefFriend Cantor Cantor, Georg;
\DefFriend Carmichael Carmichael, Robert Daniel;
\DefFriend Cauchy Cauchy, Augustin-Louis;
\DefFriend Cayley Cayley, Arthur;
\DefFriend Chebychev Chebychev, Pafnuty;
\DefFriend Church Church, Alonzo;
\DefFriend Cleomedes Cleomedes, ; % Κλεομήδης
\DefFriend Curry Curry, Haskell;
\DefFriend Collatz Collatz, Lothar;
\DefFriend Condorcet Condorcet, Nicolas de;
\DefFriend Dedekind Dedekind, Richard;
\DefFriend DeMorgan De Morgan, Augustus;
\DefFriend Diffie Diffie, Whitfield;
\DefFriend Dirichlet Dirichlet, Johann Peter Gustav Lejeune;
\DefFriend Eilenberg Eilenberg, Samuel;
\DefFriend Euler Euler, Leonhard;
\DefFriend Fermat Fermat, Pierre de;
\DefFriend Fibonacci Fibonacci, Leonardo;
\DefFriend Fourier Fourier, Joseph;
\DefFriend Fraenkel Fraenkel, Abraham;
\DefFriend Frechet Fréchet, Maurice;
\DefFriend Frege Frege, Gottlob;
\DefFriend Galois Galois, Évariste;
\DefFriend Gauss Gauss, Carl Friedrich;
\DefFriend Gentzen Gentzen, Gerhard;
\DefFriend Goldbach Goldbach, Christian;
\DefFriend Godel Gödel, Kurt;
\DefFriend Hadamard Hadamard, Jacques;
\DefFriend Halmos Halmos, Paul;
\DefFriend Hardy Hardy, Godfrey Harold;
\DefFriend Hausdorff Hausdorff, Felix;
\DefFriend Hasse Hasse, Helmut;
\DefFriend Hellman Hellman, Martin;
\DefFriend Hermite Hermite, Charles;
\DefFriend Heyting Heyting, Arend;
\DefFriend Hilbert Hilbert, David;
\DefFriend Howard Howard, William Arvin;
\DefFriend Keeler Keeler, Ken;
\DefFriend Kelley Kelley, John L.;
\DefFriend Kleene Kleene, Stephen Cole;
\DefFriend Klein Klein, Felix;
\DefFriend Knaster Knaster, Bronisław;
\DefFriend Knuth Knuth, Donald;
\DefFriend Kolmogorov Kolmogorov, Andrey Nikolaevich;
\DefFriend Kripke Kripke, Saul Aaron;
\DefFriend Kunen Kunen, Kenneth;
\DefFriend Kuratowski Kuratowski, Kazimierz;
\DefFriend Lambert Lambert, Johann Heinrich;
\DefFriend Lebesgue Lebesgue, Henri;
\DefFriend Legendre Legendre, Adrien-Marie;
\DefFriend Leibniz Leibniz, Gottfried Wilhelm;
\DefFriend Liouville Liouville, Joseph;
\DefFriend Lagrange Lagrange, Joseph-Louis;
\DefFriend Lucas Lucas, François Édouard Anatole;
\DefFriend Lukasiewicz Lukasiewicz@Łukasiewicz, Jan;
\DefFriend MacLane Mac~Lane, Saunders;
\DefFriend Mengoli Mengoli, Pietro;
\DefFriend Mirimanoff Mirimanoff, Dmitry;
\DefFriend Montague Montague, Richard;
\DefFriend Morse Morse, Anthony;
\DefFriend Naur Naur, Peter;
\DefFriend Noether Noether, Emmy;
\DefFriend Oresme Oresme, Nicole;
\DefFriend Pascal Pascal, Blaise;
\DefFriend Peano Peano, Giuseppe;
\DefFriend Poussin Poussin, Charles Jean de la Vallée;
\DefFriend Quine Quine, Willard van Orman;
\DefFriend Riemann Riemann, Bernhard;
\DefFriend Rivest Rivest, Ron;
\DefFriend Rosser Rivest, John Barkley;
\DefFriend Rondogiannis Rondogiannis, Panos;
\DefFriend Ruffini Ruffini, Paolo;
\DefFriend Russell Russell, Bertnard;
\DefFriend Schonfinkel Schönfinkel, Moses Ilyich;
\DefFriend Schroder Schröder, Ernst;
\DefFriend Shamir Shamir, Adi;
\DefFriend Singmaster Singmaster, David;
\DefFriend Skolem Skolem, Thoralf;
\DefFriend Smullyan Smullyan, Raymond;
\DefFriend Stone Stone, Marshall Harvey;
\DefFriend Tarski Tarski, Alfred;
\DefFriend Venn Venn, John;
\DefFriend vanderWaerden van der Waerden, Bartel Leendert;
\DefFriend vonLindemann von Lindemann, Ferdinand;
\DefFriend vonNeumann von Neumann, John;
\DefFriend Wang Wang, Hao;
\DefFriend Wantzel Wantzel, Pierre;
\DefFriend Weierstrass Weierstrass, Karl;
\DefFriend Wiener Wiener, Norbert;
\DefFriend Wiles Wiles, Andrew;
\DefFriend Wilson Wilson, John;
\DefFriend Wittgenstein Wittgenstein, Ludwig;
\DefFriend Zermelo Zermelo, Ernst;
\DefFriend Zwicker Zwicker, William;