(Avoiding) Proof by Contradiction: is Not Rational
We provide an alternative proof that is irrational that does not begin with the assumption that is in fact rational.
Source author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
We provide an alternative proof that 2 is irrational that does not begin with the assumption that 2 is in fact rational.
Let PR[n] be the graph whose vertices are 2,3,…,n with vertex v adjacent to vertex w if and only if gcd(v,w)>1. It is shown that π(n), the the number of primes no more than n, equals the Lovász number of this graph. This result suggests new avenues for graph-theoretic investigations of number-theoretic problems.
For any graph G on n vertices and for any {\em symmetric} subgraph J of Kn,n, we construct an infinite sequence of graphs based on the pair (G,J). The First graph in the sequence is G, then at each stage replacing every vertex of the previous graph by a copy of G and every edge of the previous graph by a copy of J the new graph is constructed. We call these graphs {\em self-similar} graphs. We are interested in delineating those pairs (G,J) for which the chromatic numbers of the graphs in the sequence are bounded. Here we have some partial results. When G is a complete graph and J is a special matching we show that every graph in the resulting sequence is an {\em expander} graph.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.