Category Archives: Programming

Survey of Theme One Program • 1

This is a Survey of previous blog and wiki posts on the Theme One Program that I worked on all through the 1980s. The aim of the project was to develop fundamental algorithms and data structures to support an integrated … Continue reading

Posted in Algorithms, Animata, Artificial Intelligence, Automated Research Tools, Boolean Algebra, Boolean Functions, Cactus Graphs, Cognitive Science, Computation, Computational Complexity, Computer Science, Computing, Constraint Satisfaction Problems, Cybernetics, Data Structures, Diagrammatic Reasoning, Diagrams, Differential Analytic Turing Automata, Education, Educational Systems Design, Educational Technology, Equational Inference, Functional Logic, Graph Theory, Indicator Functions, Inquiry, Inquiry Driven Education, Inquiry Driven Systems, Inquiry Into Inquiry, Intelligent Systems, Knowledge, Learning, Learning Theory, Logic, Logical Graphs, Machine Learning, Mathematics, Mental Models, Minimal Negation Operators, Painted Cacti, Peirce, Programming, Programming Languages, Propositional Calculus, Propositional Equation Reasoning Systems, Propositions, Research Technology, Semeiosis, Semiosis, Semiotics, Sign Relations, Surveys, Teaching, Theorem Proving, Triadic Relations | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

¿Shifting Paradigms? • 4

Re: Foundational Crisis? • Harvey Friedman 2014 Aug 22 Shock and surprise are relative to a prior state of belief.  The belief that mathematics reduces to logic, and that of a purely deductive sort from given axioms, seems to be … Continue reading

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

¿Shifting Paradigms? • 3

Re: What Is Good Mathematics? • Harvey Friedman 2014 Aug 17 Speaking of mathematics in the context of “general intellectual activity” brings to mind Raymond Wilder’s take on “mathematics as a cultural system”. I would like to keep that in … Continue reading

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

Forest Primeval → Riffs & Rotes

Re: Shifting Paradigms? • (1) • (2) • (3) • (4) • (5) • (6) Prompted by the discussion of Catalan numbers on the Foundations Of Math List, I dug up a few pieces of early correspondence and later discussions that … Continue reading

Posted in Algebra, Arithmetic, Combinatorics, Forest Primeval, Graph Theory, Group Theory, Integer Sequences, Lambda Calculus, Logic, Mathematics, Model Theory, Number Theory, Paradigms, Peirce, Programming, Proof Theory, Riffs and Rotes | Tagged , , , , , , , , , , , , , , , , | Leave a comment

¿Shifting Paradigms? • 2

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

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

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

Posted in Aesthetics, Artistic Differences, Computability, Effective Description, Existential Choice, Finitude, Inquiry, Limitation, Logic of Science, Mortality, Poetry, Programming, Voluntary Project | Tagged , , , , , , , , , , , , | Leave a comment