Zapis dowodowy metody
Feynman Diagram
Feynman diagrams are graphical representations of particle interactions introduced by Richard Feynman in 1949. They provide an intuitive and systematic way to visualize and calculate amplitudes for quantum field theory processes, converting complex mathematical expressions into geometric pictures that reveal the underlying physics.
Zapis źródłowy
Cytaty skopiowane dosłownie z zapisu źródłowego metody. Nie należy z nich wywnioskować weryfikacji na poziomie twierdzenia.
Feynman Diagram Representation
Taksonomiczny zapis metody · process-pipeline / particle-physics
- Feynman, R. P. (1949). The Theory of Positrons. Physical Review, 76(6), 749–759. · DOI 10.1103/PhysRev.76.749
- Feynman, R. P. (1961). Quantum Electrodynamics. Addison-Wesley. · URL
- Peskin, M. E., & Schroeder, D. V. (1995). An Introduction to Quantum Field Theory. Addison-Wesley. · URL
Wyselekcjonowane twierdzenia
Twierdzenia utrwalone w rejestrze dowodowym, każde z własną oceną.
Brak wyselekcjonowanych twierdzeń
Ten widok nie tworzy oceny twierdzenia, jeśli rejestr jej nie zawiera.
Powiązane metody
Wygenerowane z grafu metod i pokazane jako sugerowane przez maszynę powiązania — nie należy z nich wywnioskować twierdzenia dowodowego.