16,202 research outputs found
Recommended from our members
घuसना — to sneak in
The verb घuसना is so articulate as to be almost a one-word justification for learning Hindi. Its
range of meanings, or rather its suggestions and attitudes, is a real challenge for lexicographers,
whose various glosses can only hint at what घuसना has to say.Asian Studie
Recommended from our members
तनाव — tension
There’s maybe just enough time to write this note before the English loanword !"शन completely
ousts the fine word तनाव from Hindi usage! The two words are in fact related to each other,
which may account for the…er…tension between them.Asian Studie
A proof of P!=NP
We show that it is provable in PA that there is an arithmetically definable
sequence of -sentences, such that
- PRA+ is -sound and
-complete
- the length of is bounded above by a polynomial function of
with positive leading coefficient
- PRA+ always proves 1-consistency of PRA+.
One has that the growth in logical strength is in some sense "as fast as
possible", manifested in the fact that the total general recursive functions
whose totality is asserted by the true -sentences in the sequence
are cofinal growth-rate-wise in the set of all total general recursive
functions. We then develop an argument which makes use of a sequence of
sentences constructed by an application of the diagonal lemma, which are
generalisations in a broad sense of Hugh Woodin's "Tower of Hanoi" construction
as outlined in his essay "Tower of Hanoi" in Chapter 18 of the anthology "Truth
in Mathematics". The argument establishes the result that it is provable in PA
that . We indicate how to pull the argument all the way down into
EFA
- …