여섯 마리 새와 함께 돌이 되다: 물리학은 이론이다

Key Points

• 다양한 물리학 이론이 공통 프레임워크를 사용하여 통합될 수 있음을 설명하는 것이 목표입니다.
• 여섯 마리 새 프레임워크를 사용하여 다양한 물리 모델을 표현했습니다.
• 재현 가능한 네 가지 예시를 제공했습니다: 양자에서 고전으로, 운동학에서 유체로, 점성 버거스에서의 여과, 비선형 평균.
• 스크립트에서 결정론적으로 생성된 그림과 테이블로 검증 가능성을 강조했습니다.
• Lean4/mathlib를 사용하여 렌즈와 닫힘의 대수적 특성을 검증했습니다.
• 양자 상대 엔트로피 처리가 고전적 닫힘과 일관됨을 입증했습니다.
• 운동학에서 유체로의 전이에서 중요한 일관성 경향과 실패 영역을 보여주었습니다.
• 점성 버거스에서의 여과 및 진화에 대한 비가환 효과를 강조했습니다.
• 이질성 효과와 함께 평균 후 진화가 진화 후 평균과 같지 않음을 설명했습니다.