Re: "Friendly Premises"
- From: Torkel Franzen <torkel@xxxxxxxxxx>
- Date: 21 Aug 2005 16:42:13 +0200
"Acme Diagnostics" <LFinezapthis@xxxxxxxxxxxxxxxx> writes:
> A well-known regular poster
> on math logic subjects successfully inferenced it into a correct
> math term with some conviction here:
>
> http://tinyurl.com/asc4k
>
> You'll have to infer what he meant by "proof" yourself
> since I am unqualified as I've posted many times.
So how do you know that he "inferenced" successfully?
.
- Follow-Ups:
- Re: "Friendly Premises"
- From: Acme Diagnostics
- Re: "Friendly Premises"
- References:
- Re: "Friendly Premises"
- From: Jesse Alama
- Re: "Friendly Premises"
- From: Acme Diagnostics
- Re: "Friendly Premises"
- Prev by Date: Re: Constructive Math query.
- Next by Date: Re: What does Gödel's Incompleteness mean for the Working Mathematician?
- Previous by thread: Re: "Friendly Premises"
- Next by thread: Re: "Friendly Premises"
- Index(es):