Neural Algebra and Consciousness Erwin Engeler ETH Presented by Bruno Buchberger, RISC, at “Algebraic Biology 2008”, August 1, 2008.

Slides:



Advertisements
Similar presentations
Solve a System Algebraically
Advertisements

Introduction to Neural Networks 2. Overview  The McCulloch-Pitts neuron  Pattern space  Limitations  Learning.
Elementary Linear Algebra Anton & Rorres, 9th Edition
Solving Equations = 4x – 5(6x – 10) -132 = 4x – 30x = -26x = -26x 7 = x.
Algebraic Biology 2008 Opening Remarks by Bruno Buchberger, RISC, July 31, 2008.
Research Away Day Algorithms and Complexity Themes.
Chapter 4 Linear Transformations. Outlines Definition and Examples Matrix Representation of linear transformation Similarity.
Physical Symbol System Hypothesis
Technical Question Technical Question
Algebra 2 Miss Hudson’s Maths.
PHY 042: Electricity and Magnetism
Section 7.4 Basic Trigonometric Equations
Substitution Method September 9, 2014 Page in Notes.
3.2 Solving Systems Algebraically 2. Solving Systems by Elimination.
3-4 Algebra Properties Used in Geometry The properties of operations of real numbers that you used in arithmetic and algebra can be applied in geometry.
Warm Up 1) Is (-3, 4) a solution to the system? 2)Solve the system by graphing y = -2x + 5 2y = x - 2.
Thinking Mathematically Algebra: Graphs, Functions and Linear Systems 7.3 Systems of Linear Equations In Two Variables.
Algebra 1 Notes Lesson 7-2 Substitution. Mathematics Standards -Patterns, Functions and Algebra: Solve real- world problems that can be modeled using.
CS 462: Introduction to Artificial Intelligence This course advocates the physical-symbol system hypothesis formulated by Newell and Simon in It.
Towards the Physics of Consciousness
Continuity ( Section 1.8) Alex Karassev. Definition A function f is continuous at a number a if Thus, we can use direct substitution to compute the limit.
Additional Topics in Differential Equations
Finding our way back  The initial result of Descartes’ use of hyperbolic doubt is the recognition that at least one thing cannot be doubted, at least.
Intro to Consciousness BSCS 2013 Fall (November 25-29, PHIL305) George Kampis, Professor Eötvös University, Budapest.
SOLVING SYSTEMS ALGEBRAICALLY SECTION 3-2. SOLVING BY SUBSTITUTION 1) 3x + 4y = 12 STEP 1 : SOLVE ONE EQUATION FOR ONE OF THE VARIABLES 2) 2x + y = 10.
Evaluating Algebraic Expressions 1-7 Solving Equations by Adding or Subtracting Preparation for AF4.0 Students solve simple linear equations and inequalities.
Chapter 8.1 Solving Equations by Graphing. Page 252- Carina’s Problem Carina wants to determine the area of a garden. The garden has 32 border tiles.
Factoring to Solve Quadratic Equations
Lecture 2: 11/4/1435 Problem Solving Agents Lecturer/ Kawther Abas 363CS – Artificial Intelligence.
Solving Systems of Equations: The Elimination Method Solving Systems of Equations: The Elimination Method Solving Systems of Equations: The Elimination.
Section 5.3 Solving Systems of Equations Using the Elimination Method There are two methods to solve systems of equations: The Substitution Method The.
AS91587 Simultaneous Equations. In mathematics, a system of linear equations (or linear system) is a collection of linear equations involving the same.
9.3 Equations and Absolute Value Goal(s): To solve equations involving absolute value.
Solve polynomial equations with complex solutions by using the Fundamental Theorem of Algebra. 5-6 THE FUNDAMENTAL THEOREM OF ALGEBRA.
Solving Systems of Equations
Y=3x+1 y 5x + 2 =13 Solution: (, ) Solve: Do you have an equation already solved for y or x?
Solving System of Equations By: Elizabeth Piatt. Introduction In today’s WebQuest, you will be reviewing to increasing your knowledge about system’s of.
Cognitive Science Overview Introduction, Syllabus
Onlinedeeneislam.blogspot.com1 Design and Analysis of Algorithms Slide # 1 Download From
1.2 The Process of Science Introduction Socrates, Plato and Aristotle Aristotle's opinions accepted until 1300s, but many WRONG depended.
Multi Step Equations. Algebra Examples 3/8 – 1/4x = 1/2x – 3/4 3/8 – 1/4x = 1/2x – 3/4 8(3/8 – 1/4x) = 8(1/2x – 3/4) (Multiply both sides by 8) 8(3/8.
EXAMPLE 4 Solve linear systems with many or no solutions Solve the linear system. a.x – 2y = 4 3x – 6y = 8 b.4x – 10y = 8 – 14x + 35y = – 28 SOLUTION a.
Topic 6.5. Solve Systems by Substitution Objectives: Solve Systems of Equations using Substitution Standards: Functions, Algebra, Patterns. Connections.
Solving Inequalities Using Addition and Subtraction
Algebra Review. Systems of Equations Review: Substitution Linear Combination 2 Methods to Solve:
6-2 Solving Systems Using Substitution Hubarth Algebra.
chap10 Chapter 10 Recursion chap10 2 Recursive Function recursive function The recursive function is a kind of function that calls.
Identities, Contradictions and Conditional Equations.
IGEM 2009 Tutorial Modelling. What? Model A model in science is a symplified physical, mathematical, or logical representation of a system of entities,
Solving Systems Of Equations Algebraically
Warm-Up Graph Solve for y: Graph line #2.
Algebra II Chapter One Created by Educational Technology Network
Notes Over 9.6 An Equation with One Solution
Solve Systems of Equations by Graphing
6-2 Solving Systems Using Substitution
Solving Linear Systems Algebraically
Factoring to Solve Quadratic Equations
7.2 Solving Systems of Equations Algebraically
Solving Systems of Equation by Substitution
Quadratic Equations.
Algebra 2 Ch.3 Notes Page 15 P Solving Systems Algebraically.
Continuity Alex Karassev.
Systems of Equations Solve by Graphing.
2-3 Equations With Variables on Both Sides
3-2 Solving Inequalities Using Addition and Subtraction
3-6 Absolute Value Equations and Inequalities
5.1 Integrals Rita Korsunsky.
Some iterative methods free from second derivatives for nonlinear equation Muhammad Aslam Noor Dept. of Mathematics, COMSATS Institute of Information Technology,
Goals and Tools of Mathematical Education in the Modern World: what and how do students need to learn in math?
Definition of logarithm
Presentation transcript:

Neural Algebra and Consciousness Erwin Engeler ETH Presented by Bruno Buchberger, RISC, at “Algebraic Biology 2008”, August 1, 2008

I am not giving Engeler’s talk. I only serve as a pointer. I give a personal remark on the paper at the end.

Objective Neural Algebras Consciousness Meditation

Objective A mathematical model of “thought”, “perception”, “memory”, “motor activation” …

Neural Algebras Basic objects M, N, …: “firing patterns of neurons”. One level of abstraction higher than neural networks. Composition of firing patterns: R = M. N Functional / structural problems (e.g. the existence of “consciousness”): Algebraic solution of equations in neural algebras.

Definition of the notion of “firing pattern” in a neural network: technically involved (“nested substitution patterns”) Knowledge base of findings in neurology of humans and animals can / could be cast in terms of neural algebras. Mathematical properties (theorems) of neural algebras: –2.1 All fixpoint equations have a solution –2.2 Certain neural algebras are “combinatory algebras” –2.3 All computable relations are representable in sufficiently rich neural algebras

Consciousness Consciouness: The power of self-reflection “The power of observing itself as being conscious and as consiously planning and acting”: C. ( C U U M i. C) = C i This fixpoint equation can be solved in sufficiently rich neural algebras (“primitive” animals sufficient; “colonies” of individuals also a possible implementation).

Some mathematical findings about “consciousness”: –3.1 C always has a base in one or more cycles –3.2 C can be expanded along any outgoing edge –3.3 C never expands into cycle free “stimulus and and response” structure.

“Meditation” The “Western” approach to “understanding”, e.g. understanding consciouness: Intellect (“mathematics”), i.e. think deeply until you have a “model” of the phenomenon. The Eastern approach to “understanding”, e.g. understanding consciousness: Experience (“be”) consciousness: don’t live in the model, allow thinking to rest in silence, … (“Meditation”)