From: Paul Rubin <no.email@nospam.invalid>
Subject: Re: questions on input/output
Date: Sat, 06 Feb 2021 10:10:31 -0800 [thread overview]
Message-ID: <87tuqpm5ig.fsf@nightsong.com> (raw)
In-Reply-To: 3401b745-e012-485a-905d-1389189d6ec6n@googlegroups.com
Mehdi Saada <00120260a@gmail.com> writes:
> Proving things should come at last.
Why do you want to use Ada (instead of, say, Python) if you don't like
proving things?
It seems to me, you might add a book about logic (proof systems etc.) to
your reading. I don't know what to recommend. I used "A Mathematical
Introduction to Logic" by H. B. Enderton and I liked it, but I think it
is not ideal for your purposes. Maybe someone else has a suggestion.
If nothing else, understanding what proofs really are might make you
more comfortable with them.
next prev parent reply other threads:[~2021-02-06 18:10 UTC|newest]
Thread overview: 18+ messages / expand[flat|nested] mbox.gz Atom feed top
2021-02-05 22:50 questions on input/output Mehdi Saada
2021-02-05 23:36 ` Jeffrey R. Carter
2021-02-06 0:59 ` Mehdi Saada
2021-02-06 1:34 ` Mehdi Saada
2021-02-06 2:13 ` Paul Rubin
2021-02-06 7:21 ` J-P. Rosen
2021-02-06 9:36 ` Dmitry A. Kazakov
2021-02-06 10:38 ` AdaMagica
2021-02-06 11:37 ` Mehdi Saada
2021-02-06 11:51 ` Mehdi Saada
2021-02-06 18:10 ` Paul Rubin [this message]
2021-02-06 18:55 ` Mehdi Saada
2021-02-06 20:26 ` Paul Rubin
2021-02-07 8:52 ` Mehdi Saada
2021-02-07 20:38 ` Paul Rubin
2021-02-07 9:55 ` Gautier write-only address
2021-02-07 22:54 ` Mehdi Saada
2021-02-06 11:47 ` Dmitry A. Kazakov
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox