Skip to content

m̴̨̱̫͆͆a̴̪̟͙͔̹̒c̶͚̻̏h̶̙̖̓̀ȋ̵̝̭͕̦̝̽ṇ̴̙͖̆̌̐̅̕į̷̧̡̼̜̆̄̽c̷͓̔̐̃̚ ̸͈̦͓̿́̊̍ờ̷͎̭̌̀ń̴̨̠̮̫̀t̴͕̭̑̈͐ơ̴̙̇̀̄̾l̵̞̬̆̈́̐ō̸̰̟͖̠͈̏̅g̴̢̼͈̈́̅̀̾̓y̴̼͉̝̆͊͑͝

License

Notifications You must be signed in to change notification settings

gjoncas/Artificial-Philosophy

Repository files navigation

Artificial Philosophy

Topics of Interest
Algebraic semiotics, bisimulation, Borel hierarchy, cellular automata, computational metaphysics, computational narratology, computational psychoanalysis, cryptosophy, dynamic epistemic logic, epistemic games, formal verification, game logics, hypercomputation, idempotent analysis, judgment aggregation, Krohn–Rhodes theory, λ-calculus, loop invariants, modal logic, μ-calculus, non-parametric philosophy, Oulipo, ‘patadata, π-calculus, polypoems, quines, recursive worlds, ρ-calculus, social software, surreal numbers, supertasks/hypertasks, temporal logic, Θ-combinator, topological games, type theory, ultrafilters, undecidability, viruses, Wang tiles, xenotation, Y-combinator, Yi Jing (易经), Zipf's law, zero-knowledge proofs

References – Books

  • Corfield, D. (2003). Towards a Philosophy of Real Mathematics. Cambridge: Cambridge University Press.
  • Cook, W. (1928). Plotto: The Master Book of All Plots. New York: Tin House Books
  • Dewdney, A. (1988). The Armchair Universe: An Exploration of Computer Worlds. New York: W.H. Freeman & Co.
  • Drucker, J. (2009). SpecLab: Digital Aesthetics and Projects in Speculative Computing. Chicago: University of Chicago Press.
  • Grim, P., Mar, G., St. Denis, P. (1998). The Philosophical Computer: Exploratory Essays in Philosophical Computer Modeling. Cambridge, MA: MIT Press.
  • Harrell, D. (2013). Phantasmal Media: An Approach to Imagination, Computation, and Expression. Cambridge: MIT Press.
  • Hartman, C. (1996). Virtual Muse; Experiments in Computer Poetry. Hanover, NH: University of Wesleyan Press.
  • Krohn, K. & Rhodes, J. (2010). Applications of Automata Theory and Algebra: Via the Mathematical Theory of Complexity to Biology, Physics, Philosophy and Games. World Scientific Publishing Co.
  • Laruelle, F.; Edlebi, A. (trans.). (2016 [1992]). Theory of Identities. New York: Columbia University Press.
  • Lewis, C. (1990). Computerizing Aristotle's categories. Ph.D Dissertation, Marquette University.
  • Moldoveanu, M. & Baum, J. (2014). Epinets: The Epistemic Structure and Dynamics of Social Networks. Redwood City, CA: Stanford University Press.
  • Nehaniv, C. (Ed.). (2003). Computation for Metaphors, Analogy, and Agents. Heidelberg: Springer.
  • Rapaport, W. (2016). Philosophy of Computer Science. Retrieved from www.cse.buffalo.edu//~rapaport/Papers/phics.pdf
  • Ramsay, S. (2011). Reading Machines: Toward an Algorithmic Criticism. Chicago: University of Illinois Press.
  • Tagliabue, J. (2012). Digital Philosophy: Formal Ontology and Knowledge Representation in Cellular Automata.
    Unpublished Ph.D Dissertation. Retrieved from http://www.academia.edu/1873531
  • Zalta, E. (2016). Principia Logico-Metaphysica. Retrieved from http://mally.stanford.edu/principia.pdf

References – Papers

About

m̴̨̱̫͆͆a̴̪̟͙͔̹̒c̶͚̻̏h̶̙̖̓̀ȋ̵̝̭͕̦̝̽ṇ̴̙͖̆̌̐̅̕į̷̧̡̼̜̆̄̽c̷͓̔̐̃̚ ̸͈̦͓̿́̊̍ờ̷͎̭̌̀ń̴̨̠̮̫̀t̴͕̭̑̈͐ơ̴̙̇̀̄̾l̵̞̬̆̈́̐ō̸̰̟͖̠͈̏̅g̴̢̼͈̈́̅̀̾̓y̴̼͉̝̆͊͑͝

Topics

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published