Reasoning with Computer Code: a new Mathematical Logic

Bolognesi, T. 2010. Causal Sets from Simple Models of Computation. arXiv 1004(3128):1–33. arXiv:1004.3128 Available electronically from http://arxiv.org/abs/1004.3128.Search in Google Scholar

Caspard, N.; Leclerc, B.; and Monjardet, B. 2012. Finite Ordered Sets. New York: Cambridge University Press.10.1017/CBO9781139005135Search in Google Scholar

Cuntz, H.; Mathy, A.; and H¨ausser, M. June 2012. A scaling law derived from optimal dendritic wiring. PNAS, 2012, DOI: 10.1073/pnas.1200430109 1–5. Available electronically from http://www.pnas.org/content/109/27/11014.10.1073/pnas.1200430109339082622715290Search in Google Scholar

Hawkins, J. 2004. On Intelligence. New york: Times Books.Search in Google Scholar

Hofstadter, D. R. 1985. Metamagical Themas: Questing for the Essence of Mind and Pattern. New York: Basic Books, Inc.Search in Google Scholar

Lin, L.; Osan, R.; and Tsien, J. Z. 2006. Organizing principles of real-time memory encoding: neural clique assemblies and universal neural codes. Trends in Neuroscience 29(1):48–57. Available electronically from http://www.ncbi.nlm.nih.gov/pubmed/16325278.10.1016/j.tins.2005.11.00416325278Search in Google Scholar

Noether, E. 1918. Invariant Variation Problems. Nachr. d. K¨onig. Gesellsch. d. Wiss. zu G¨ottingen Math-phys 1918:235–257. English translation: arXiv:physics/0503066v1 Available electronically from http://arxiv.org/pdf/physics/0503066sSearch in Google Scholar

Opdyke, W. F. 1992. Refactoring Object-Oriented Frameworks. Ph.D. Dissertation, Dep. of Computer Science, Univ. of Illinois, Urbana-Champaign, Illinois, USA. Available electronically from http://www-public.it-sudparis.eu/ gibson/Teaching/CSC7302/ReadingMaterial/Opdyke92.pdf.Search in Google Scholar

Pissanetzky, S. 1984. Sparse Matrix Technology. London: Academic Press.10.1016/B978-0-12-557580-5.50012-0Search in Google Scholar

Pissanetzky, S. 2009. A new Universal Model of Computation and its Contribution to Learning, Intelligence, Parallelism, Ontologies, Refactoring, and the Sharing of Resources. Int. J. of Information and Mathematical Sciences 5:143–173. Available electronically from https://www.waset.org/journals/ijims/v5/v5-2-17.pdf.Search in Google Scholar

Pissanetzky, S. 2010. Coupled Dynamics in Host-Guest Complex Systems Duplicates Emergent Behavior in the Brain. World Academy of Science, Engineering, and Technology 68:1–9. Available electronically from https://www.waset.org/journals/waset/v44/v44-1.pdf.Search in Google Scholar

Pissanetzky, S. 2011a. Emergence and Self-organization in Partially Ordered Sets. Complexity 17(2):19–38.10.1002/cplx.20389Search in Google Scholar

Pissanetzky, S. 2011b. Emergent inference and the future of NASA. Workshop, NASA, NASA Gilruth Center, Johnson Space Center, Clear Lake, TX. Available electronically at http://www.scicontrols.com/Publications/AbstractNASA2011.pdf.Search in Google Scholar

Pissanetzky, S. 2011c. Structural Emergence in Partially Ordered Sets is the Key to Intelligence. In Artificial General Intelligence, 92–101. Available electronically from http://dl.acm.org/citation.cfm?id=2032884.Search in Google Scholar

Pissanetzky, S. 2012a. A case study: the European Example. Available electronically at http://www.scicontrols.com/Articles/EuropeanExample.htm.Search in Google Scholar

Pissanetzky, S. 2012b. The Detailed Dynamics of Dynamical Systems. Available electronically at http://www.scicontrols.com/Articles/TheoryOfDetailedDynamics.htm.Search in Google Scholar

Pissanetzky, S. 2012c. Overview of Previous Work on Causal Logic. Available electronically at http://www.scicontrols.com/Articles/OverviewOfPreviousWork.htm.Search in Google Scholar

Pissanetzky, S. 2012d. Separating points. Available electronically at http://www.scicontrols.com/Articles/PointSeparation.htm.Search in Google Scholar

Pissanetzky, S. 2012e. Symmetry, structure, and causets in discrete quantum gravity. Bulletin of the American Physical Society 57(2):H1.0005. Available electronically from http://meeting.aps.org/Meeting/TSS12/Event/173348.Search in Google Scholar

Pissanetzky, S. 2012f. Verification of the Theory of Detailed Dynamics. Available electronically at http://www.scicontrols.com/Articles/VerificationForTheoryOfDetailedDynamics.htm.Search in Google Scholar

Schröder, B. S. W. 2002. Ordered sets. Boston, USA: Birkh¨auser.10.1007/978-1-4612-0053-6Search in Google Scholar

Shafer, G. 1998. Causal Logic. Available electronically from http://www.glennshafer.com/assets/downloads/articles/article62.pdf.Search in Google Scholar

Wedeen, V. J.; Rosene, D. L.; Wang, R.; Dai, G.; Mortazavi, F.; Hagmann, P.; Kaas, J. H.; and Tseng, W. I. March 2012. The geometric structure of the brain fiber pathways. Science DOI: 10.1126/science.1215280:1628–1634. Available electronically from http://www.sciencemag.org/content/335/6076/1628.abstract.10.1126/science.1215280377346422461612Search in Google Scholar