Barkley Rosser: Unterschied zwischen den Versionen

Aktuelle Version vom 31. Januar 2016, 15:32 Uhr

Dieser Artikel erfüllt die GlossarWiki-Qualitätsanforderungen nur teilweise:

Korrektheit: 4
(großteils überprüft)

Umfang: 1
(zu gering)

Quellenangaben: 2
(wichtige Quellen fehlen)

Quellenarten: 2
(befriedigend)

Konformität: 3
(gut)

Prof. John Barkley Rosser, Ph. D.
(geb. 6 Dezember 1907 in Jacksonville, Florida, gest. 5 September 1989 in Madison, Wisconsin)

Hochschulen:

John Barkley Rosser war Mathematiker und Logiker. Er promovierte zum Thema “A Mathematical Logic without Variables” bei Alonzo Church^[1].

Rosser (1936): Barkley Rosser; Extensions of Some Theorems of Gödel and Church; in: The Journal of Symbolic Logic; Band: 1; Nummer: 3; Seite(n): 87-9; Verlag: The Journal of Symbolic Logic; Web-Link; 1936; Quellengüte: 5

TO BE DONE

Zitiert durch

@@ Zeile 30: / Zeile 30: @@
 |mutter=
 }}
+John Barkley Rosser war Mathematiker und Logiker. Er promovierte zum Thema “A Mathematical Logic without Variables” bei [[Alonzo Church]]<ref>http://www.genealogy.ams.org/id.php?id=8013</ref>.
 {{Autor
 |dblp=
@@ Zeile 36: / Zeile 39: @@
 |viaf=111016029
 }}
-John Barkley Rosser war Mathematiker und Logiker. Er promovierte zum Thema “A Mathematical Logic without Variables” bei [[Alonzo Church]]<ref>http://www.genealogy.ams.org/id.php?id=8013</ref>
 ==Quellen==
-<references>
+<references/>
 <ol>
-<li number="2">http://www.lib.utexas.edu/taro/utcah/00212/cah-00212.html</li>
+<li start="2">http://www.lib.utexas.edu/taro/utcah/00212/cah-00212.html</li>
 <li>http://web.archive.org/web/20110608075258/http://www.cs.wisc.edu/news/rosser.memorial.pdf</li>
 <li>https://www.highbeam.com/doc/1P2-1212612.html</li>
 </ol>