# Towards An Approach to Hilbert's Sixth Problem: A Brief Review

@inproceedings{Martins2020TowardsAA, title={Towards An Approach to Hilbert's Sixth Problem: A Brief Review}, author={Yuri Ximenes Martins and Rodney Josu{\'e} Biezuner}, year={2020} }

In 1900 David Hilbert published his famous list of 23 problems. The sixth of them-the axiomatization of Physics-remains partially unsolved. In this work we will give a gentle introduction and a brief review to one of the most recent and formal approaches to this problem, based on synthetic higher categorical languages. This approach, developed by Baez, Schreiber, Sati, Fiorenza, Freed, Lurie and many others, provides a formalization to the notion of classical field theory in terms of twisted… Expand

#### Tables from this paper

#### References

SHOWING 1-10 OF 267 REFERENCES

Foundations of Mathematics and Physics One Century After Hilbert: New Perspectives

- Mathematics, Physics
- Notices of the American Mathematical Society
- 2019

The title of this book recalls Hilbert’s attempts to provide foundations for mathematics and physics, and raises the question of how far we have come since then—and what we should do now. This is a… Expand

A SURVEY OF COHOMOLOGICAL PHYSICS

- Mathematics
- 1999

Cohomological physics is a phrase I introduced sometime ago in the context of anomalies in gauge theory, but it all began with Gauss in 1833, if not sooner (cf. Kirchoff’s laws, as Nash’s “Topology… Expand

SHEAVES AND HOMOTOPY THEORY

- 2009

The purpose of this note is to describe the homotopy-theoretic version of sheaf theory developed in the work of Thomason [14] and Jardine [7, 8, 9]; a few enhancements are provided here and there,… Expand

Geometric Obstructions on Gravity

- Mathematics, Physics
- 2019

These are notes for a short course and some talks gave at Departament of Mathematics and at Departament of Physics of Federal University of Minas Gerais, based on the author's paper arXiv:1808.09249.… Expand

Topological and geometric obstructions on Einstein–Hilbert–Palatini theories

- Mathematics, Physics
- Journal of Geometry and Physics
- 2019

Abstract In this article we introduce A -valued Einstein–Hilbert–Palatini functional ( A -EHP) over a n -manifold M , where A is an arbitrary graded algebra, as a generalization of the functional… Expand

Homological Mirror Symmetry: New Developments and Perspectives

- Mathematics
- 2010

Homological Mirror Symmetry, the study of dualities of certain quantum field theories in a mathematically rigorous form, has developed into a flourishing subject on its own over the past years. The… Expand

Algebraic Quantum Field Theory

- Mathematics, Physics
- 2006

Algebraic quantum field theory provides a general, mathematically precise description of the structure of quantum field theories, and then draws out consequences of this structure by means of various… Expand

Frobenius Algebras and 2-D Topological Quantum Field Theories

- Mathematics
- 2004

This 2003 book describes a striking connection between topology and algebra, namely that 2D topological quantum field theories are equivalent to commutative Frobenius algebras. The precise… Expand

On Maximal, Universal and Complete Extensions of Yang-Mills-Type Theories

- Mathematics, Physics
- 2020

In this paper we continue the program on the classification of extensions of the Standard Model of Particle Physics started in arXiv:2007.01660. We propose four complementary questions to be… Expand

Stacks and their function algebras.

- Computer Science
- 2011

For T any abelian Lawvere theory, we establish a Quillen adjunction between model category structures on cosimplicial T -algebras and on simplicial presheaves over duals of T -algebras, whose left… Expand