English
Related papers

Related papers: Meta Math! The Quest for Omega

200 papers

Since the early twentieth century, it has been understood that mathematical definitions and proofs can be represented in formal systems systems with precise grammars and rules of use. Building on such foundations, computational proof…

History and Overview · Mathematics 2023-11-07 Jeremy Avigad

This book provides a thorough survey of the important questions at the interface between theoretical particle physics and cosmology. After discussing the theoretical and experimental physics revolution that led to the rise of the Standard…

High Energy Physics - Phenomenology · Physics 2022-07-06 Yann Gouttenoire

A brief description and results of A.M. Mathai's research programme on statistics and probability, initiated in the 1970s, and its relation to physics is given.

History and Philosophy of Physics · Physics 2011-03-01 H. J. Haubold

The paper is partly a survey with historical background and references, partly provides the opportunity to put in print some unpublished early work, and partly has new results. A special case of relative categoricity is identified (almost…

Logic · Mathematics 2026-05-13 Anand Pillay

Remarks on mathematical proof and the practice of mathematics.

History and Overview · Mathematics 2009-05-25 Melvyn B. Nathanson

Mathematical aspects of contemporary classical and quantum gauge theory are sketched.

High Energy Physics - Theory · Physics 2007-05-23 G. Sardanashvily

Metaphor is widely used in human communication. The cohort of scholars studying metaphor in various fields is continuously growing, but very few work has been done in bibliographical analysis of metaphor research. This paper examines the…

Digital Libraries · Computer Science 2021-05-04 Dongyu Zhang , Minghao Zhang , Ciyuan Peng , Jason J. Jung , Feng Xia

These notes were written from a series of lectures given in March 2010 at the Universidad Complutense of Madrid and then in Barcelona for the centennial anniversary of the Spanish Mathematical Society (RSME). Our aim is to give an…

History and Overview · Mathematics 2018-02-22 Ricardo Pérez-Marco

Did time begin at a Big Bang? Will the present expansion of the universe last for a finite or infinite time? These questions sound philosophical but are becoming, now in the twenty-first century, central to the scientific study of…

Astrophysics · Physics 2007-05-23 Paul H. Frampton

The research in the subfield of analytic number theory around error term of summation of sigma functions possesses a history which can be dated back to the mid-19th century when Dirichlet provided an $O(\sqrt{n})$ estimation of error term…

Number Theory · Mathematics 2024-12-03 Yuan Qiu , Alexander B. Kalmynin

Metaphysics is the science of being and asks the question ``What really exists?'' The answer to this question has been sought for by mankind since the beginning of recorded time. In the past 2500 years there have been many answers to this…

High Energy Physics - Theory · Physics 2007-05-23 B. M. McCoy

This paper gives a concise introduction into the basic theory of {\omega}-automata (as of March 2014). The starting point are the different types of recurrence conditions, modes of operation (deterministic, nondeterministic, alternating…

Formal Languages and Automata Theory · Computer Science 2016-09-13 Thomas Wilke

This is a tract on the art and practice of mathematical writing. Not only does the book cover basic principles of grammar, syntax, and usage, but it takes into account developments of the last twenty years that have been inspired by the…

History and Overview · Mathematics 2016-12-16 Steven G. Krantz

The odds theorem and the corresponding solution algorithm (odds algorithm) are tools to solve a wide range of optimal stopping problems. Its generality and tractability have caught much attention. (Google for instance "Bruss odds" to obtain…

Probability · Mathematics 2012-12-07 Rémi Dendievel

Inspired by the recent 90th anniversary of the Scottish Book we present some reflections about its impact. First we discuss new areas of mathematics it helped launch. Then we argue that it was actively used in stimulating the interests and…

History and Overview · Mathematics 2026-03-31 Stanisław Domoradzki , Małgorzata Stawiska , Mykhailo Zarichnyi

This book chapter attempts to counter anxieties in the humanities and social science about the role of big data in research by focusing on approaches which, by being firmly grounded in the traditional values of disciplines, enhance existing…

Computers and Society · Computer Science 2016-05-23 Tobias Blanke , Andrew Prescott

Quantum cosmology from the late sixties into the early twenty-first century is reviewed and appraised in the form of a debate, set up by two presentations on mainly the Wheeler-DeWitt quantization and on loop quantum cosmology,…

General Relativity and Quantum Cosmology · Physics 2010-05-17 Martin Bojowald , Claus Kiefer , Paulo Vargas Moniz

We state the defining characteristic of mathematics as a type of symmetry where one can change the connotation of a mathematical statement in a certain way when the statement's truth value remains the same. This view of mathematics as…

History and Overview · Mathematics 2013-06-19 Noson S. Yanofsky , Mark Zelcer

Meta-analysis is a systematic approach for understanding a phenomenon by analyzing the results of many previously published experimental studies. It is central to deriving conclusions about the summary effect of treatments and interventions…

Computers and Society · Computer Science 2021-04-13 Lu Cheng , Dmitriy A. Katz-Rogozhnikov , Kush R. Varshney , Ioana Baldini

A review of Jaynes' posthumous book "Probability Theory--The Logic of Science." I use scientific and personality elements gathered from other papers by Jaynes to help throw light on the origins of Jaynes' life quest.

History and Overview · Mathematics 2007-06-13 Tommaso Toffoli
‹ Prev 1 3 4 5 6 7 10 Next ›