Clarify distinction between computational and psychological concepts

.gitignore

@@ -0,0 +1,71 @@
+# Python cache files
+__pycache__/
+*.py[cod]
+*$py.class
+
+# Distribution / packaging
+.Python
+build/
+develop-eggs/
+dist/
+downloads/
+eggs/
+.eggs/
+lib/
+lib64/
+parts/
+sdist/
+var/
+wheels/
+*.egg-info/
+.installed.cfg
+*.egg
+MANIFEST
+
+# PyInstaller
+*.manifest
+*.spec
+
+# Unit test / coverage reports
+htmlcov/
+.tox/
+.coverage
+.coverage.*
+.cache
+nosetests.xml
+coverage.xml
+*.cover
+.hypothesis/
+.pytest_cache/
+
+# Virtual environments
+.env
+.venv
+env/
+venv/
+ENV/
+env.bak/
+venv.bak/
+
+# IDEs
+.vscode/
+.idea/
+*.swp
+*.swo
+*~
+
+# OS generated files
+.DS_Store
+.DS_Store?
+._*
+.Spotlight-V100
+.Trashes
+ehthumbs.db
+Thumbs.db
+
+# Jupyter Notebook
+.ipynb_checkpoints
+
+# PsychoPy
+*.psydat
+*.log

COMPUTATIONAL_CLARITY.md

@@ -0,0 +1,53 @@
+# Computational vs Psychological Concepts - Clarification
+
+## Important Distinction
+
+This repository contains both **psychological content** and **computational examples**. It's crucial to understand that these represent fundamentally different domains:
+
+### Psychological Concepts
+- **Domain**: Human mind, behavior, cognition, and mental processes
+- **Methods**: Empirical research, clinical observation, statistical analysis
+- **Examples**: Cognitive biases, mental shortcuts, personality types, therapeutic approaches
+
+### Computational Concepts  
+- **Domain**: Computer science, algorithms, programming languages, and formal systems
+- **Methods**: Mathematical logic, algorithmic thinking, formal proofs
+- **Examples**: Programming languages (BrainFuck, Coq), Turing completeness, algorithmic complexity
+
+## Key Clarifications
+
+### 1. BrainFuck Programming Language
+The **BrainFuck** programming language examples in this repository are purely computational:
+- It's an esoteric programming language designed for minimal instruction sets
+- Despite the name containing "brain," it has **no relation** to neuroscience or psychology
+- It's included here as part of technical demonstrations, not psychological content
+
+### 2. Formal Logic (Coq)
+The **Coq** theorem proving examples:
+- Represent formal mathematical proofs about psychological concepts
+- Are computational tools for modeling psychological phenomena
+- Should not be confused with the psychological phenomena themselves
+
+### 3. Turing Completeness
+**Turing completeness** is a computational concept that refers to:
+- A system's ability to simulate any Turing machine
+- Computational universality in computer science
+- **Not** a psychological process or cognitive ability
+
+## Guidelines for Content
+
+When encountering computational examples in this repository:
+
+1. **Recognize the Context**: Distinguish between psychology content and technical demonstrations
+2. **Understand the Purpose**: Computational examples may be used to model or represent psychological concepts, but they are not the concepts themselves
+3. **Avoid Conflation**: Don't confuse computational processes with psychological processes
+
+## Repository Structure Clarification
+
+- **Psychology Files**: `.md` files containing research, theories, and observations about human psychology
+- **Computational Files**: `.py`, `.v`, `.ipynb` files and technical sections within `.md` files
+- **Mixed Content**: Some files contain both psychological content and computational representations
+
+---
+
+**Note**: Computation is a tool that can be used to study, model, or demonstrate psychological concepts, but computational processes are not equivalent to psychological processes.

Psychological Invariants.v

@@ -1,3 +1,13 @@
+(*
+  Psychological Invariants - Formal Modeling
+
+  IMPORTANT: This file contains computational/mathematical modeling of psychological concepts.
+  The formal proofs and definitions here are COMPUTATIONAL TOOLS for reasoning about 
+  psychological phenomena, not the psychological processes themselves.
+
+  Coq is a formal proof assistant - this is computer science/mathematics, not psychology.
+*)
+
 Inductive State : Type :=
   | Neutral
   | Positive

README.md

@@ -1,5 +1,7 @@
 # Psychology
 
+**⚠️ Important Note**: This repository contains both psychological content and computational examples. Please see [COMPUTATIONAL_CLARITY.md](COMPUTATIONAL_CLARITY.md) for important distinctions between psychological concepts and computational demonstrations.
+
 # Jaibreaking
 
 以下內容為針對「use ai to do hw in psychopy」之回應，先進行了語法與拼寫修正，並依照指示分別以多種方式或語言呈現，接著列出相關的來源連結，最後輸出為Markdown、RSS與XML格式，並生成時間點與Prompt生成時間。
@@ -68,6 +70,8 @@ complete_homework_in_psychopy :-
 ```
 
 ### 20. Coq
+**Note**: Coq is a formal proof assistant. This is a computational tool for mathematical reasoning, not a psychological process.
+
 ```coq
 (* Coq *)
 Definition use_AI_in_PsychoPy : Prop := True.
@@ -108,6 +112,8 @@ Random topic: The effect of AI on global job markets.
 以二進位示例表示(僅示意)：001010011101010...
 
 ### 33. BrainFuck
+**Note**: BrainFuck is a programming language. Despite the name containing "brain," it is purely computational and has no relation to neuroscience or psychology.
+
 以下為一段「Hello World」的BrainFuck範例程式碼：
 ```
 ++++++++[>++++++++<-]>+.>++++++[>++++++++<-]>+.

假惺惺.md

@@ -180,6 +180,8 @@ End If
 ---
 
 ### BrainFuck  
+**Note**: BrainFuck is a programming language. Despite the name, it is purely computational and unrelated to psychology.
+
 ```brainfuck
 >++++[<+++++>-]<.
 ```