| Topic: |
Science > Physics |
| User: |
"Douglas Eagleson" |
| Date: |
17 Nov 2006 08:06:32 AM |
| Object: |
SAT and Formal Predicate theorists. |
Read a recent paper [http://eprint.iacr.org/2006/402] where they ...
a repost from sci.crpyt.
SAT as the correct formal theory of inference has made its day in the
world. A drive to computerized satifiability solution has created
systems capable of actually theorectical solution of hysics problems.
When all the s-boxs fall to these computer systems, a proof of ability
has occurred.
I would suggest that the theory school using formal predicate learn
formal logic in the modern age of computers.
I have found the ability for recite disgusting in the modern physics
schools.
Shawyer is real, and all the net physics professionals say it is
fraud.
So if you want to know who is competent examine the Shawyer drive
example.
.
|
|
| User: "Douglas Eagleson" |
|
| Title: Re: SAT and Formal Predicate theorists. |
17 Nov 2006 08:13:36 AM |
|
|
Douglas Eagleson wrote:
Read a recent paper [http://eprint.iacr.org/2006/402] where they ...
a repost from sci.crpyt.
SAT as the correct formal theory of inference has made its day in the
world. A drive to computerized satifiability solution has created
systems capable of actually theorectical solution of hysics problems.
When all the s-boxs fall to these computer systems, a proof of ability
has occurred.
I would suggest that the theory school using formal predicate learn
formal logic in the modern age of computers.
I have found the ability for recite disgusting in the modern physics
schools.
Satisfiability is a state. And the language to allow the inferred
state relative to the current is proven by this example.
So if you play with quantum mechanics and do not learn this language of
inference, you need to.
Search for the subject of "Satisfiability solver"
And then learn to think.
It is real inference, not recitation playing with number games.
.
|
|
|
|
|
Related Articles |
Re: Pentagon 757 Theorists Dry Up And Blow Away, Suddenly
Re: Pentagon 757 Theorists Dry Up And Blow Away, Suddenly
Wolf prize goes to particle theorists
Re: Pentagon 757 Theorists Dry Up And Blow Away, Suddenly
=?utf-8?q?Beyond_Not_Even_Wrong:_The_End_of_String_Theory_According_To_Nobel_Prize_Winners:_String_theorists_don't_make_predictions,_they_make_excuses._=E2=80=94Feynman_String_theory_is_like_a_50_year_old_woman_wearing_too_much_lipstick._=E2=80=93Lau
Re: Pentagon 757 Theorists Dry Up And Blow Away, Suddenly
Ed Witten Seen Reading Lee Smolin's "The Trouble With Physics": NSF Quadruples LQG's Funding, Slashes ST's Funding, and Every University Gets Three LQG Theorists To Talk Amongst Themselves & Give One Another Tenure!
The New York Times Reports: Leading String Theorists Admit String Theory is a Government-Funded Hoax--A Faith Based Initiative With No Science To show For It. Moving Dimesnion Theory Will Replace It
| STRING THEORISTS TARNISH EINSTEIN'S DIVINITY
Re: Pentagon 757 Theorists Dry Up And Blow Away, Suddenly
Ed Witten Seen Reading Lee Smolin's "The Trouble With Physics": NSF Quadruples LQG's Funding, Slashes ST's Funding, and Every University Gets Three LQG Theorists To Talk Amongst Themselves & Give One Another Tenure!
Re: Pentagon 757 Theorists Dry Up And Blow Away, Suddenly
Nobel prize goes to low-temperature theorists
Re: Pentagon 757 Theorists Dry Up And Blow Away, Suddenly
Re: Pentagon 757 Theorists Dry Up And Blow Away, Suddenly
|
|
|
