В данной теореме равенства два треугольника можно совместить.

---

Для того чтобы теорему можно было доказать манипулятивным совмещением надо описать не очень-то тривиальные "элементарные манипулятивные действия", которые бы в точности соответствовали геометрической аксиоматике. Тогда последовательность таких действий изоморфна логическим выводам из аксиом и является строгим доказательством.

С нашей точки зрения - ребенку надо просто давать вариации написания буквы разными шрифтами, размерами и пр. И все.

---

А это будет работать?

---

Вообще мне сложно на эту тему что-то сказать, поскольку в традиции советской школы есть какая-то помешанность на "правильном почерке". При этом в итоге все взрослые люди всё равно пишут каждый по-своему.

Ну, да "мы создаем". В то время, когда такая программа создается сама собой каждый раз при выполнении неких граничных условий МАНИПУЛЯЦИЙ.

---

Вот в этом есть принципиальная разница. Сами манипуляции не есть никакая программа. И на что похожа программа знает только черный ящик.

---

А зачем так размывать термин "программа"? В любом общеупотребительном значении программа — это последовательность "шагов", при этом каждый шаг как раз и обозначает эти самые "граничные условия манипуляций". А всё что происходит между шагами это уже ИСПОЛНЕНИЕ программы типа. Так всегда и понимали же.

The Institute of General Semantics (IGS) is a not-for-profit corporation established in 1938 by Alfred Korzybski, to support research and publication on the topic of General Semantics. The Institute publishes Korzybski's writings, including the seminal text Science & Sanity, and books by other authors who have studied or taught general semantics, such as Robert Pula, Irving J. Lee, Wendell Johnson, and Stuart Chase. Every year since 1952, it has sponsored the Alfred Korzybski Memorial Lecture, with presenters from a broad range of disciplines, from science to medicine to entertainment, including names like actor Steve Allen, psychologist Albert Ellis, scientist and visionary R. Buckminster Fuller, linguist Allen Walker Read, and philosopher F. S. C. Northrop. The Institute offers periodic seminars, workshops and conferences and is headquartered in New York City.

http://en.wikipedia.org/wiki/Institute_of_General_Semantics

---

http://www.generalsemantics.org/

---

http://www.youtube.com/user/InstituteofGS

Угм.

Окей: http://metapractice.livejournal.com/417684.html

---

Здесь тогда удалю, хорошо?

Part IX - On the similarity of empirical and verbal structures...........................................726

---

35. Action by contact................................................................................727

---

36. On the semantics of the Einstein theory..........................................................738

---

37. On the notion of 'simultaneity'..................................................................749

---

38. On the 'world' of Minkowski......................................................................755

---

39. General reflections on the Einstein theory.......................................................763

---

Part X - On the structure of 'matter'....................................................................772

---

40. The older 'matter'...............................................................................773

---

41. The newer 'matter'...............................................................................786

---

A. Introductory..................................................................................788

---

B. The nature of the problem.....................................................................790

---

C. Matrices......................................................................................793

---

D. The operator calculus.........................................................................799

---

E. The new quantum mechanics.....................................................................802

---

F. The wave mechanism............................................................................808

---

G. Structural aspects of the new theories........................................................812

---

Supplement I - The Logic of Relativity.......................................................................817

---

Supplement II - The Theory of Types..........................................................................825

---

Supplement III - A Non-Aristotelian System And Its Necessity For Rigour In Mathematics And Physics...........835

---

Notes And References.........................................................................................850

---

Bibliography.................................................................................................853

---

Catalog......................................................................................................868

---

Index........................................................................................................876

Book III - Additional Structural Data About Languages And The Empirical World................................658

---

Prefatory Remarks........................................................................................659

---

Part VIII - On the structure of mathematics.............................................................664

---

32. On the semantics of the differential calculus....................................................665

---

A. Introductory..................................................................................665

---

B. On the differential calculus..................................................................666

---

1. General considerations....................................................................666

---

2. Maxima and minima.........................................................................680

---

3. Curvature.................................................................................682

---

4. Velocity..................................................................................683

---

C. On the integral calculus......................................................................684

---

D. Further applications..........................................................................686

---

1. Partial differentiation...................................................................686

---

2. Differential equations....................................................................687

---

3. Methods of approximation..................................................................688

---

4. Periodic functions and waves..............................................................689

---

33. On linearity.....................................................................................695

---

34. On geometry......................................................................................707

---

A. Introductory..................................................................................707

---

B. On the notion of the 'internal theory of surfaces'............................................713

---

C. Space-Time....................................................................................718

---

D. The application of geometrical notions to cerebral localization...............................722