Category Archives: Research Technology

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

Architectonics of Inquiry : 1

Re: R.J. Lipton • Teaching Helps Research Along these lines, if somewhat tangentially, are some questions that I’ve wondered about for many years. How do research and teaching interact, and how might they act to catalyze one another in the … Continue reading

Posted in Artificial Intelligence, Automated Research Tools, C.S. Peirce, Discovery, Educational Systems Design, Educational Technology, Inquiry, Inquiry Driven Systems, Inquiry Into Inquiry, Instruction, Peirce, Research Technology | Tagged , , , , , , , , , , , | Leave a comment