Sentence examples for which are classically from inspiring English sources

Gödel [1933e] interpreted these results as showing that intuitionistic logic and arithmetic are richer than classical logic and arithmetic, because the intuitionistic theory distinguishes formulas which are classically equivalent, and has the same consistency strength as the classical theory.

In addition, by adopting intuitionistic logic we can include within our theories principles which are classically very strong, without having to commit to their classical strength.

Common examples are gamma rays, which can be represented as high-frequency electromagnetic photons, and neutrons, which are classically pictured as subatomic particles carrying no electrical charge.

In fact, one can envisage new statements which are classically equivalent to a ZF axiom but intuitionistically separate from it (for example CZF's subset collection axiom (Aczel 1978)).

Due to the serious difficulties of this task, many different scoring functions have been developed which are classically categorised into force field, empirical and knowledge based approaches [3, 4].

The purpose of this paper is to give an overview of recent results regarding the design of such materials, which are classically of two main types: the micro-inclusion technology and the Alberich-type coating.

I cannot claim responsibility for this one, which is classically Vietnamese.

There was one with the International Wine Center, which was classically academic and geared toward a Master of Wine certificate.

But it isn't because of their theme, which is classically museological: they are literally about excavation and reconstitution.

"It's not imperial, it's 'good for the world' — which is classically imperial, the 'civilizing mission' of empires.

"We don't often see this type of collaboration in the research world, which is classically very much an ivory tower," Dr. Olson said.