Tag Archives: Programming

¿Shifting Paradigms? • 2

Posted on August 6, 2014 by Jon Awbrey

Re: Timothy Chow • Shifting Paradigms? 2014 Jul 31 I can’t remember when I first started playing with Gödel codings of graph-theoretic structures, which arose in logical and computational settings, but I remember being egged on in that direction by … Continue reading →

Posted in Algebra, Arithmetic, Combinatorics, Foundations of Mathematics, Graph Theory, Group Theory, Inquiry, Logic, Mathematics, Model Theory, Number Theory, Paradigms, Peirce, Programming, Proof Theory, Riffs and Rotes | Tagged , , , , , , , , , , , , , , , | Leave a comment

¿Shifting Paradigms? • 1

Posted on August 6, 2014 by Jon Awbrey

Re: Dana Scott • Shifting Paradigms? 2014 Jul 28 This is very interesting to me, but not all my posts make it to the list, so I will spend a few days reflecting on it and post a comment on … Continue reading →

Posted in Foundations of Mathematics, Inquiry, Logic, Mathematics, Model Theory, Paradigms, Peirce, Programming, Proof Theory | Tagged , , , , , , , , | Leave a comment

Poems and Programs

Posted on February 27, 2013 by Jon Awbrey

Words that do … A trendy misunderstanding has reared its head as to what the discipline of computing, indeed the logic of science, are all about.  I blame Penrose, of course, but he is only the most recent promulgator of … Continue reading →

Posted in Aesthetics, Artistic Differences, Computability, Effective Description, Ethics, Existential Choice, Finitude, Form, Imagination, Information, Inquiry, Limitation, Logic of Science, Matter, Mortality, Poetry, Programming, Volition | Tagged , , , , , , , , , , , , , , , , , | 1 Comment

Ask Meno Questions • Code Meno Code

Posted on February 4, 2013 by Jon Awbrey

Adapted from Prospects for Inquiry Driven Systems The Trees, The Forest A sticking point of the whole discussion has just been reached. In the idyllic setting of a knowledge field the question of systematic inquiry takes on the following form: … Continue reading →

Posted in Algorithms, Artificial Intelligence, Automata, Education, Epistemology, Formal Language Theory, Formal Languages, Inquiry, Inquiry Driven Systems, Intelligent Systems, Learning, Meno, Philosophy, Plato, Programming, Programming Languages, Socrates, Teaching | Tagged , , , , , , , , , , , , , , , , , | 2 Comments

Demonstrative And Otherwise

Posted on December 17, 2012 by Jon Awbrey

I am constantly encountering what I perceive as echoes of Peircean themes in places where acquaintance with or interest in Peirce’s work is slight at best, and that leaves me with a lot of pent up thoughts that I’ve learned through … Continue reading →

Posted in Abduction, Artificial Intelligence, C.S. Peirce, Computation, Computational Complexity, Cybernetics, Deduction, Induction, Inquiry, Inquiry Driven Systems, Intelligent Systems, Logic, Peirce, Programming, Semiotics | Tagged , , , , , , , , , , , , , , | 2 Comments