Sentence examples for discovery of a proof from inspiring English sources

But although the coincidence of \ \textbf{P}\) and \ \textbf{NP}\) would have intriguing consequences, it also seems likely that the discovery of a proof validating the consensus view that \ \textbf{P} \neq \textbf{NP}\) would be regarded as foundationally significant.

Matters came to a head with the discovery of a proof (see Craig 1956) that the theoretical terms of a scientific theory are dispensable in the sense of it being possible to devise a functionally equivalent theory that does not make use of them.

"This discovery is a proof of principal that we can get images of Type Ia supernovae in their infancy.

Can visual thinking lead to discovery of an idea for a proof in more advanced contexts?

We developed a MALDI-TOF protein expression profiling platform for biomarker discovery and a proof-of-principle study identified two proteins, cyclophilin A (CyPA) and macrophage migration inhibitory factor (MIF), that were overexpressed in non-small cell lung cancer (NSCLC).

The revisionist view of Second Amendment rights gained momentum in 1982 when a Senate judiciary subcommittee issued a report about the discovery of "long lost proof" of an individual's constitutional right to bear arms.

Perhaps the best proof is the discovery of a planet orbiting a star called V 391 Pegasi, some 4,500 light years from us.

Our project was more of a proof of conept using the ATmega32 than a new discovery.

Proof of principle has been established with the discovery of a peptide bacteriocin antibiotic with a high degree of specificity against C. difficile [ 9].

Dr. Lowell J. Levine, a consultant with the New York State Police, and Dr. Carlos F. Valerio, a Brazilian forensic specialist, announced that a neat bit of detective work by two United States diplomats assigned to the Sao Paulo consulate had led to the discovery of proof that the remains could be identified "with absolute certainty" as those of Dr. Mengele.

Proof of the route's existence was found during the discovery of a treasure-trove of more than 65 separate archeological sites.