aboutsummaryrefslogtreecommitdiff
path: root/math.bib
diff options
context:
space:
mode:
Diffstat (limited to 'math.bib')
-rwxr-xr-xmath.bib235
1 files changed, 235 insertions, 0 deletions
diff --git a/math.bib b/math.bib
new file mode 100755
index 0000000..27b7c17
--- /dev/null
+++ b/math.bib
@@ -0,0 +1,235 @@
+% Encoding: UTF-8
+
+%
+% Math
+%
+
+@book{shannon1963,
+ title = {The Mathematical Theory of Communication},
+ author = {Claude E Shannon, Warren Weaver},
+ publisher = {U. Illinois},
+ isbn = {9780252725487,0252725484},
+ year = {1963},
+ series = {},
+ edition = {},
+ volume = {},
+}
+
+@article{shannon1948,
+ title = {A Mathematical Theory of Communication},
+ author = {C. E. Shannon},
+ doi = {10.1002/j.1538-7305.1948.tb01338.x},
+ url = {https://doi.org/10.1002%2Fj.1538-7305.1948.tb01338.x},
+ year = {1948},
+ month = {jul},
+ publisher = {Institute of Electrical and Electronics Engineers ({IEEE})},
+ volume = {27},
+ number = {3},
+ pages = {379--423},
+ journal = {Bell System Technical Journal}
+}
+
+@article{shannon1949,
+ doi = {10.1002/j.1538-7305.1949.tb00928.x},
+ title = {Communication Theory of Secrecy Systems*},
+ author = {Shannon, C. E.},
+ journal = {Bell System Technical Journal},
+ issnp = {0005-8580},
+ year = {1949},
+ month = {10},
+ volume = {28},
+ issue = {4},
+ page = {656--715},
+}
+
+@book{tangian2014,
+ title = {Mathematical Theory of Democracy},
+ author = {Andranik Tangian},
+ publisher = {Springer-Verlag Berlin Heidelberg},
+ isbn = {978-3-642-38723-4,978-3-642-38724-1},
+ year = {2014},
+ series = {Studies in Choice and Welfare},
+ edition = {1},
+ volume = {},
+ url = {https://www.springer.com/gp/book/9783642387234},
+}
+
+@article{tangian2008,
+ doi = {10.1007/s00355-008-0295-y},
+ title = {A mathematical model of Athenian democracy},
+ author = {Andranik Tangian},
+ publisher = {Springer},
+ journal = {Social Choice and Welfare},
+ issn = {0176-1714,1432-217X},
+ year = {2008},
+ volume = {31},
+ issue = {4},
+ pages = {537--572},
+ url = {http://doi.org/10.1007/s00355-008-0295-y}
+}
+
+@book{nagel2015,
+ title = {A prova de Gödel},
+ author = {Ernst Nagel; James. R. Newman},
+ year = {2015},
+ publisher = {Perspectiva},
+ series = {Debates},
+}
+
+@book{struik1992,
+ title = {Historia Concisa da Matemática},
+ author = {Dirk J. Struik},
+ publisher = {Gradiva},
+ isbn = {972-662-251-4},
+ year = {1992},
+ series = {Ciência Aberta},
+ edition = {2},
+ volume = {},
+}
+
+@book{richardson1922,
+ title = {Weather Prediction by Numerical Process},
+ author = {Lewis F. Richardson},
+ publisher = {Cambridge University Press},
+ isbn = {},
+ year = {1922},
+ series = {},
+ edition = {},
+ volume = {},
+}
+
+% https://philpapers.org/rec/FEFITP
+% https://math.stanford.edu/~feferman/papers/lrb.pdf
+@article{feferman2006,
+ author = {Solomon Feferman},
+ year = {2006},
+ title = {Review - Incompleteness: The Proof and Paradox of Kurt Gödel},
+ journal = {London Review of Books},
+ volume = {28},
+ number = {3},
+ url = {https://www.lrb.co.uk/the-paper/v28/n03/solomon-feferman/provenly-unprovable},
+}
+
+@book{godel1992,
+ title = {On Formally Undecidable Propositions of Principia Mathematica and Related Systems},
+ author = {Gödel, Kurt},
+ publisher = {Dover Publications},
+ isbn = {0486669807,9780486669809},
+ year = {1992},
+ series = {},
+ edition = {},
+ volume = {},
+}
+
+@book{baaz2011,
+ title = {Kurt Gödel and the Foundations of Mathematics: Horizons of Truth },
+ author = {Matthias Baaz, Christos H. Papadimitriou, Hilary W. Putnam, Dana S. Scott, Charles L. Harper},
+ publisher = {Cambridge University Press},
+ isbn = {0521761441,9780521761444},
+ year = {2011},
+ series = {},
+ edition = {},
+ volume = {},
+}
+
+@book{copeland2013,
+ title = {Computability: Turing, Gödel, Church, and Beyond},
+ author = {B. Jack Copeland, Carl J. Posy, Oron Shagrir},
+ publisher = {The MIT Press},
+ isbn = {0262018993,9780262018999},
+ year = {2013},
+ series = {},
+ edition = {},
+ volume = {},
+}
+
+@book{franzen2005,
+ title = {Gödel's Theorem: An Incomplete Guide to Its Use and Abuse},
+ author = {Torkel Franzén},
+ publisher = {A K Peters, Ltd.},
+ isbn = {1568812388,9781568812380},
+ year = {2005},
+ series = {},
+ edition = {},
+ volume = {},
+}
+
+@book{smith2013,
+ title = {An introduction to Gödel's theorems},
+ author = {Gödel, Kurt; Gödel, Kurt Friedrich; Smith, Peter; Gödel, Kurt},
+ publisher = {Cambridge University Press},
+ isbn = {978-1-107-02284-3,978-1-107-60675-3,1107022843,1107606756},
+ year = {2013},
+ series = {Cambridge introductions to philosophy},
+ edition = {2nd ed},
+ volume = {},
+}
+
+@book{feferman2010,
+ title = {Kurt Gödel: Essays for his Centennial},
+ author = {Solomon Feferman, Charles Parsons, Stephen G. Simpson (eds.)},
+ publisher = {Cambridge University Press},
+ isbn = {0521115140,9780521115148},
+ year = {2010},
+ series = {Lecture Notes in Logic 33},
+ edition = {},
+ volume = {},
+}
+
+@book{brown1972,
+ title = {Laws of Form},
+ author = {George Spencer Brown},
+ publisher = {Julian Press},
+ isbn = {},
+ year = {1972},
+ series = {},
+ edition = {},
+ volume = {},
+ url = {https://archive.org/details/LawsOfForm},
+}
+
+@article{varela1975,
+ doi = {10.1080/03081077508960828},
+ title = {A calculus for self-reference},
+ author = {Francisco J. Varela G.},
+ publisher = {Taylor and Francis Group},
+ journal = {International Journal of General Systems},
+ issn = {0308-1079,1563-5104},
+ year = {1975},
+ volume = {2},
+ issue = {1},
+ pages = {5--24},
+ url = {http://doi.org/10.1080/03081077508960828}
+}
+
+@article{kauffman1980,
+ title = {Form dynamics},
+ author = {Louis H. Kauffman; Francisco J. Varela G.},
+ publisher = {Academic Press Inc.},
+ journal = {Journal Social Biolo. Struct.},
+ issn = {},
+ year = {1980},
+ volume = {},
+ issue = {3},
+ pages = {171--296},
+ url = {}
+}
+
+@book{tsonis2008,
+ title = {Randomnicity: Rules and randomness in the realm of the infinite},
+ author = {Anastasios A. Tsonis},
+ publisher = {Imperial College Press},
+ isbn = {1-84816-197-2,978-1-84816-197-9,978-1-84816-205-1,1-84816-205-7},
+ year = {2008},
+ series = {},
+ edition = {},
+ volume = {},
+}
+
+@unpublished{kauffman2020,
+ title = {Laws of Form - An Exploration in Mathematics and Foundations},
+ author = {Louis H. Kauffman},
+ year = {2020},
+ note = {Rough draft},
+ url = {http://homepages.math.uic.edu/~kauffman/Laws.pdf},
+}