English
Related papers

Related papers: |{Math, Philosophy, Programming, Writing}| = 1

200 papers

The world of mathematics is often considered abstract, with its symbols, concepts, and topics appearing unrelated to physical objects. However, it is important to recognize that the development of mathematics is fundamentally influenced by…

General Physics · Physics 2023-06-08 Biao Wu

There is a cognitive limit in Human Mind. This cognitive limit has played a decisive role in almost all fields including computer sciences. The cognitive limit replicated in computer sciences is responsible for inherent Computational…

Other Computer Science · Computer Science 2022-12-22 Asad Malik

In this lecture I will talk about three mathematical puzzles involving mathematics and computation that have preoccupied me over the years. The first puzzle is to understand the amazing success of the simplex algorithm for linear…

Combinatorics · Mathematics 2018-01-09 Gil Kalai

We believe that economic design and computational complexity---while already important to each other---should become even more important to each other with each passing year. But for that to happen, experts in on the one hand such areas as…

Computational Complexity · Computer Science 2019-06-04 Edith Hemaspaandra , Lane A. Hemaspaandra

Can there be independent higher level laws of nature if everything is reducible to the fundamental laws of physics? The computer science notion of level of abstraction explains why there can -- illustrating how computational thinking can…

Other Computer Science · Computer Science 2008-05-24 Russ Abbott

In everyday life it happens that a person has to reason about what other people think and how they behave, in order to achieve his goals. In other words, an individual may be required to adapt his behaviour by reasoning about the others'…

Artificial Intelligence · Computer Science 2008-12-18 Francesco Buccafurri , Gianluca Caminiti

We study monads resulting from the combination of nondeterministic and probabilistic behaviour with the possibility of termination, which is essential in program semantics. Our main contributions are presentation results for the monads,…

Logic in Computer Science · Computer Science 2021-04-22 Matteo Mio , Ralph Sarkis , Valeria Vignudelli

This essay considers ways that recent uses of computers in mathematics challenge contemporary views on the nature of mathematical understanding. It also puts these challenges in a historical perspective and offers speculation as to a…

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

The concept of complexity appears in virtually all areas of knowledge. Its intuitive meaning shares similarities across fields, but disagreements between its details hinders a general definition, leading to a plethora of proposed…

Statistical Mechanics · Physics 2023-10-04 Roberto C. Alamino

Mastering one or more programming languages has historically been the gateway to implementing ideas on a computer. Today, that gateway is widening with advances in large language models (LLMs) and artificial intelligence (AI)-powered coding…

Computers and Society · Computer Science 2025-11-25 Douglas C. Schmidt , Dan Runfola

Analogy has been shown to be important in many key cognitive abilities, including learning, problem solving, creativity and language change. For cognitive models of analogy, the fundamental computational question is how its inherent…

Artificial Intelligence · Computer Science 2013-08-12 Mark Keane

The notion of programming paradigms, with associated programming languages and methodologies, is a well established tenet of Computer Science pedagogy, enshrined in international curricula. However, this notion sits ill with Kuhn's classic…

Programming Languages · Computer Science 2020-02-17 Greg Michaelson

This paper puts forward an ontology that is indebted to QBism, Kant, Bohr, Schr\"odinger, the philosophy of the Upanishads, and the evolutionary philosophy of Sri Aurobindo. Central to it is that reality is relative to consciousness or…

Quantum Physics · Physics 2024-06-19 U. J. Mohrhoff

This paper establishes grounds for deeper exploration into the question of dual nature of mathematics as an abstract discipline and as a concrete science. It is argued, as one of the consequences of the discussion, that the division into…

General Mathematics · Mathematics 2016-12-14 Radoslav Dimitric

We provide here a computational interpretation of first-order logic based on a constructive interpretation of satisfiability w.r.t. a fixed but arbitrary interpretation. In this approach the formulas themselves are programs. This contrasts…

Logic in Computer Science · Computer Science 2007-05-23 Krzysztof R. Apt , Marc Bezem

Aspects of a quantum mechanical theory of a world containing efficacious mental aspects that are closely tied to brains, but that are not identical to brains.

Quantum Physics · Physics 2009-10-31 Henry P. Stapp

Artificial intelligence (AI) is the name popularly given to a broad spectrum of computer tools designed to perform increasingly complex cognitive tasks, including many that used to solely be the province of humans. As these tools become…

History and Overview · Mathematics 2026-03-30 Tanya Klowden , Terence Tao

All sciences need and many arts apply mathematics whereas mathematics seems to be independent of all of them, but only based upon logic. This conservative concept, however, needs to be revised because, contrary to Platonic idealism…

General Mathematics · Mathematics 2007-05-23 W. Mueckenheim

This soliloquy outlines some naive philosophical arguments underlying the thesis that mathematics ought to be viewed simply as a universal set of languages, some of precise expression, and some of effective communication.

General Mathematics · Mathematics 2007-05-23 Bhupinder Singh Anand

The philosophical foundations of statistics involve issues in theoretical statistics, such as goals and methods to meet these goals, and interpretation of the meaning of inference using statistics. They are related to the philosophy of…

Other Statistics · Statistics 2026-03-05 Inge G. Helland , Nils Lid Hjort , Gunnar Taraldsen