or an asymptotic counterexample if false). In principle, simple inequalities of this form could be automatically resolved by brute force case splitting. For instance, with(1), one first observes that
13In fact, if there is no counterexample to a statement, the statement is valid: this way of thinking can be in its turn an example of backward reasoning. 240 F. Arzarello and C. Soldano generally acts in the following way: he produces a configuration which, provided there is the ...
In the first interview session, the participant began by completing a practice problem to become accustomed to the interview format. The participant was then given one of the study tasks. The participant was permitted to work on a proof until he or she wrote a proof that he or she was...
In the entropic version of the problem, the key counterexample comes from discrete gaussians spread out over a similarly large arithmetic progression, e.g., a random variable on the integers with probability distribution for some large and suitable normalizing constant (which is comparable to ). ...
Such sort-increasing rules could result in a lack of completeness of the computation mechanism, and this is why it may seem wise to add the inductive property stating that x*Conj (x) has sort Nat. This is actually not necessary, as discussed later. Figure 2 shows how a bounded stack of...
13In fact, if there is no counterexample to a statement, the statement is valid: this way of thinking can be in its turn an example of backward reasoning. 240 F. Arzarello and C. Soldano generally acts in the following way: he produces a configuration which, provided there is the ...
: The importance of boundary cases between example and counterexample. In Proceedings of the 35th Conference of the International Group for the Psychology of Mathematics Education, Ankara, Turkey, 10–15 July 2011; Ubuz, B., Ed.; PME: Ankara, Turkey, 2011; Volume 3, pp. 89–96. [Google...