-
Notifications
You must be signed in to change notification settings - Fork 0
/
main.bib
163 lines (162 loc) · 5.26 KB
/
main.bib
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
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
@MISC{turingtest,
HOWPUBLISHED = "\url{https://www.youtube.com/watch?v=Qbp3LJvcX38}",
AUTHOR = "Professor David Brailsford",
TITLE = "The Turing Test - Computerphile",
YEAR = "2015",
NOTE = "Aufgerufen 18.9.2019"
}
@MISC{enigmaflaw,
HOWPUBLISHED = "\url{https://www.youtube.com/watch?v=V4V2bpZlqx8}",
AUTHOR = "Dr James Grime",
TITLE = "Flaw in the Enigma Code - Numberphile",
YEAR = "2013"
}
@MISC{haltingproblem,
HOWPUBLISHED = "\url{https://www.youtube.com/watch?v=macM_MtS_w4}",
AUTHOR = "Professor Mark Jago",
TITLE = "Turing & The Halting Problem - Computerphile",
YEAR = "2014",
NOTE = "Aufgerufen 18.9.2019"
}
@MISC{turingmaschine,
HOWPUBLISHED = "\url{https://www.youtube.com/watch?v=dNRDvLACg5Q}",
AUTHOR = "Professor Mark Jago",
TITLE = "Turing Machines Explained - Computerphile",
YEAR = "2014",
NOTE = "Aufgerufen 18.9.2019"
}
@MISC{enigmaproblem1,
HOWPUBLISHED = "\url{https://www.youtube.com/watch?v=d2NWPG2gB_A}",
AUTHOR = "Professor David Brailsford",
TITLE = "Turing's Enigma Problem (Part 1) - Computerphile",
YEAR = "2014",
NOTE = "Aufgerufen 18.9.2019"
}
@MISC{turingcomplete,
HOWPUBLISHED = "\url{https://www.youtube.com/watch?v=RPQD7-AOjMI}",
AUTHOR = "Professor David Brailsford",
TITLE = "Turing Complete - Computerphile",
YEAR = "2014",
NOTE = "Aufgerufen 18.9.2019"
}
@MISC{computing,
HOWPUBLISHED = "\url{https://www.csee.umbc.edu/courses/471/papers/turing.pdf}",
AUTHOR = "A.M.Turing",
TITLE = "Computing Machinery and Intelligence",
YEAR = "1950",
NOTE = "Aufgerufen 19.9.2019"
}
@MISC{compnumbers,
HOWPUBLISHED = "\url{https://www.csee.umbc.edu/courses/471/papers/turing.pdf}",
AUTHOR = "A.M.Turing",
TITLE = "COMPUTABLE NUMBERS, WITH AN APPLICATION TO THE ENTSCHEIDUNGSPROBLEM",
YEAR = "1936",
NOTE = "Aufgerufen 19.9.2019"
}
@InCollection{turing,
author = {Hodges, Andrew},
title = {Alan Turing},
booktitle = {The Stanford Encyclopedia of Philosophy},
editor = {Edward N. Zalta},
howpublished = {\url{https://plato.stanford.edu/archives/win2013/entries/turing/}},
year = {2013},
edition = {Winter 2013},
publisher = {Metaphysics Research Lab, Stanford University}
}
@book{theessentialturing,
title={The Essential Turing},
author={Copeland, B.J.},
isbn={9780191520280},
lccn={2004275594},
url={https://books.google.de/books?id=VlC5MkVIwqkC},
year={2004},
publisher={Clarendon Press}
}
@MISC{intelligentmaschinery,
HOWPUBLISHED = "\url{http://www.alanturing.net/turing_archive/archive/l/l32/L32-001.html}",
AUTHOR = "A.M.Turing",
TITLE = "INTELLIGENT MASCHINERY",
YEAR = "1948",
NOTE = "Aufgerufen 24.9.2019"
}
@MISC{lambdacalculus,
HOWPUBLISHED = "\url{https://www.youtube.com/watch?v=eis11j_iGMs}",
AUTHOR = "Professor Graham Hutton",
TITLE = "LAMBDA CALCULUS - COMPUTERPHILE",
YEAR = "2017",
NOTE = "Aufgerufen 24.9.2019"
}
@MISC{functionalprogrammingsycombinator,
HOWPUBLISHED = "\url{https://www.youtube.com/watch?v=9T8A89jgeTI}",
AUTHOR = "Professor Graham Hutton",
TITLE = "Essentials: Functional Programming's Y Combinator - Computerphile",
YEAR = "2017",
NOTE = "Aufgerufen 24.9.2019"
}
@MISC{lifechurch,
HOWPUBLISHED = "\url{https://web.archive.org/web/20120901152639/https://www.math.ucla.edu/~hbe/church.pdf}",
AUTHOR = "H.B.E",
TITLE = "Alonzo Church: Life and Work",
YEAR = "2012",
NOTE = "Aufgerufen 13.10.2019"
}
@MISC{explorecons,
HOWPUBLISHED = "\url{https://www.youtube.com/watch?v=VypuNfR2GE0}",
AUTHOR = "Dr. Susan Schneider",
TITLE = "The future of the mind: Exploring machine consciousness ",
YEAR = "2019",
NOTE = "Aufgerufen 23.11.2019"
}
@book{churchcalculi,
title={The Calculi of Lambda Conversion. (AM-6)},
author={Church, A.},
isbn={9781400881932},
series={Annals of Mathematics Studies},
url={https://books.google.de/books?id=v6\_SCwAAQBAJ},
year={1951},
publisher={Princeton University Press}
}
@MISC{captcha,
HOWPUBLISHED = "\url{https://www.security-insider.de/wie-funktioniert-ein-captcha-a-683209/}",
AUTHOR = "Peter Schmitz, Ralph Dombach",
TITLE = "Wie funktioniert ein Captcha?",
YEAR = "2018",
NOTE = "Aufgerufen 26.11.2019"
}
@MISC{encoding,
HOWPUBLISHED = "\url{https://cryptii.com/pipes/enigma-machine}",
AUTHOR = "Fränz Friederes",
TITLE = "The Enigma machine: Encrypt and decrypt",
YEAR = "2013",
NOTE = "Aufgerufen 28.02.2020"
}
@MISC{emach,
HOWPUBLISHED = "\url{https://www.youtube.com/watch?v=G2_Q9FoD-oQ}",
AUTHOR = "Dr James Grime",
TITLE = "158,962,555,217,826,360,000 (Enigma Machine) - Numberphile",
YEAR = "2013",
NOTE = "Aufgerufen 28.02.2020"
}
@InCollection{sep-church-turing,
author = {Copeland, B. Jack},
title = {The Church-Turing Thesis},
booktitle = {The Stanford Encyclopedia of Philosophy},
editor = {Edward N. Zalta},
howpublished = {\url{https://plato.stanford.edu/archives/spr2019/entries/church-turing/}},
year = {2019},
edition = {Spring 2019},
publisher = {Metaphysics Research Lab, Stanford University}
}
@MISC{p-vs-np,
HOWPUBLISHED = "https://dl.acm.org/doi/pdf/10.1145/602382.602398",
AUTHOR = "Stephen Cook",
TITLE = "The Importance of the P versus NP Question",
YEAR = "2003",
NOTE = "Aufgerufen 08.05.2020"
}
@MISC{captchapic,
HOWPUBLISHED = "https://www.google.com/recaptcha/api2/demo",
AUTHOR = "Google",
TITLE = "ReCAPTCHA demo",
NOTE = "Aufgerufen 09.05.2020"
}