Re: Linz's proofs.

Liste des GroupesRevenir à s logic 
Sujet : Re: Linz's proofs.
De : news (at) *nospam* immibis.com (immibis)
Groupes : comp.theory
Date : 07. Mar 2024, 16:43:49
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <uscjr5$13k1e$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9
User-Agent : Mozilla Thunderbird
On 7/03/24 12:32, Ben Bacarisse wrote:
The students I taught seemed to have no problem with this sort of case
analysis.  But the "assume H does X" argument lead to lots of "but H1
could be better" arguments.
They aren't satisfied with "we can do the exact same thing with H1 to prove that H1 doesn't work either"?

Date Sujet#  Auteur
13 Nov 24 o 

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal