Results 141 to 150 of about 5,967 (224)

Steps Toward a Philosophy for Mathematicians. [PDF]

Math Intell, 2023
Fenstad JE.
europepmc   +1 more source

Three-dimensional changes of scapulothoracic orientation in patients with acromioclavicular joint dislocations. [PDF]

JSES Int
Vetter P, Frege S, Paksoy A, Akgün D, Scheibel M, Moroder P.   +5 more
europepmc   +1 more source

Ethical-Linguistic constitution of clinical subjectivities: a Lévinasian perspective. [PDF]

Philos Ethics Humanit Med
Pompilio CE, de Toledo França M.
europepmc   +1 more source

Are there Hard Examples for Frege Systems?

, 2008
It is generally conjectured that there is an exponential separation between Frege and extended Frege systems. This paper reviews and introduces some candidates for families of combinatorial tautologies for which Frege proofs might need to be ...
Samuel R. Buss, Maria Luisa Bonet, Toniann Pitassi   +2 more
core  

Where Mathematical Symbols Come From. [PDF]

Top Cogn Sci
Schlimm D.
europepmc   +1 more source

Exponential Lower Bounds for AC0-Frege Imply Superpolynomial Frege Lower Bounds

, 2014
We give a general transformation which turns polynomial-size Frege proofs to subexponential-size AC0-Frege proofs. This indicates that proving exponential lower bounds for AC0-Frege is hard, since it is a longstanding open problem to prove super ...
Rahul Santhanam, Toniann Pitassi, Yuval Filmus   +2 more
core  

Disaster Risk from Extreme Natural Events Influences Scientific Production on Riparian Forest Carbon More than Socioeconomic Variables. [PDF]

Environ Manage
Rodrigues JIM, Lopes LSS, Oliveira VP, Castro JC, Pacheco HFC, Ferreira GC, Oliveira FA, Martins WBR.   +7 more
europepmc   +1 more source

The individuation of mathematical objects. [PDF]

Synthese
Assadian B, Fraser R.
europepmc   +1 more source

Computational Abstraction. [PDF]

Entropy (Basel), 2021
Turner R.
europepmc   +1 more source

Phenomenology, delusions and justice. [PDF]

World Psychiatry
Broome MR.
europepmc   +1 more source