On 12/4/2018 11:50 AM, Philip Thrift wrote:
On Tuesday, December 4, 2018 at 1:46:44 PM UTC-6, Brent wrote:
On 12/4/2018 12:06 AM, Philip Thrift wrote:
Can you give an example of "truth in the programming" and how
it differs from the mathematical idea of true and the
correspondence theory of truth?
Brent
Truth in programming follows the Brouwerian concept of truth:
[ https://plato.stanford.edu/entries/brouwer/
<https://plato.stanford.edu/entries/brouwer/> ]
/There is no determinant of mathematical truth outside the
activity of thinking; a proposition only becomes true when the
subject has experienced its truth (by having carried out an
appropriate mental construction); similarly, a proposition only
becomes false when the subject has experienced its falsehood (by
realizing that an appropriate mental construction is not possible)./
*There is no determinant of mathematical truth outside the
activity of computing;* a proposition only becomes true when the
program has produced its truth (by having carried out an
appropriate computational construction); similarly, a proposition
only becomes false when the program has produced its falsehood
(by computing that an appropriate computational construction is
not possible).
I didn't ask for examples of circular definitions.
Brent
In what sense is type theory circular logic?
First, I didn't ask for a logic, I asked for examples to the different
ideas of truth. Instead you provided some assertions about "where truth
is determined" and about becoming true...which were circular.
"a proposition only becomes*/true/* when the subject has experienced its
*/truth/*"
" a proposition only becomes /*true*/ when the program has produced its
*/truth/*"
Third, neither your post nor the article on Brouwer said anything about
type theory.
https://plato.stanford.edu/entries/type-theory-intuitionistic/
Brent
--
You received this message because you are subscribed to the Google Groups
"Everything List" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to everything-list+unsubscr...@googlegroups.com.
To post to this group, send email to everything-list@googlegroups.com.
Visit this group at https://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.