Artificial-Philosophy

KO | EN

gitlite — search

#javascript #hacktoberfest #react #golang #machine-learning #rust #docker #nodejs #macos #java #windows #awesome #vue #mcp

Artificial-Philosophy

(★ 31)

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

Artificial-Philosophy 최신버젼 다운로드

최종 버전 다운로드 (.zip)

// repository documentation

Was this content helpful?

★ 0 (0 ratings)

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

References – Papers
<ul>
<li>Benzmüller, C. & Paleo, B. (2014). “<a href="http://page.mi.fu-berlin.de/cbenzmueller/papers/C40.pdf">Automating Gödel’s Ontological Proof of God’s Existence with Higher-order Automated Theorem Provers</a>.” Frontiers in Artificial Intelligence and Applications 263, pp. 93-8</li>
<li>Bosser, A., Cavazza, M., Ferreira, J., & Martens, C. (2013). “Linear Logic Programming for Narrative Generation.” Retrieved from http://www.cs.cmu.edu/~cmartens/lpnmr13.pdf</li>
<li>de Queiroz, R. (1991) “Meaning as Grammar plus Consequences.” Dialectica 45(1), pp. 83-6</li>
<li>de Queiroz, R. (1994) “Normalisation and language-games.” Dialectica 48(2), pp. 83-123</li>
<li>de Queiroz, R. (2008). “On Reduction Rules, Meaning-as-Use, & Proof-Theoretic Semantics.” Studia Logica 90, pp. 211–47</li>
<li>Fabbri, R., Oliveira, O., Costa, L. (2010). “Philosometrics.” Retrieved from https://arxiv.org/abs/1010.1880</li>
<li>Hladik, J. (2004). “<a href="https://iccl.inf.tu-dresden.de/web/LATPub288">Spinoza's Ontology</a>,” in Büchel, G., Klein, B., & Roth-Berghofer, T. (Eds.). (2004). Proceedings of the 1st Workshop on Philosophy and Informatics (WSPI 2004). DFKI: DFKI Research Reports.
<li>Johnson, C. (n.d.). “Daoism & Computation.” Retrieved from www.carlsensei.com/docs/essays/dao-and-computation.pdf </li>
<li>Knuth, D. (1984). “The Complexity of Songs.” Communications of the ACM 27(4), pp. 344-6</li>
<li>Schang, F. (n.d.). “A Formal Semantics of International Relations.” Retrieved from www.academia.edu/13790556</li>
</ul>

Artificial-Philosophy

Artificial-Philosophy 최신버젼 다운로드

오늘의 추천 프로젝트

Was this content helpful?

Recent Feedback

Artificial-Philosophy

Artificial-Philosophy 최신버젼 다운로드

오늘의 추천 프로젝트

Was this content helpful?

Recent Feedback

Download README