(Avoiding) Proof by Contradiction: $\sqrt{2}$ is Not Rational
We provide an alternative proof that $\sqrt{2}$ is irrational that does not begin with the assumption that $\sqrt{2}$ is in fact rational.
Researcher profile
C. E. Larson
C. E. Larson contributes to research discovery and scholarly infrastructure.
ResearcherAffiliation not importedOpen to collaborate
Trust snapshot
Quick read
Trust 15 - UnverifiedVerification L1Unclaimed author
3works
0followers
2topics
4close collaborators
Actions
Decide how to stay connected
Identity and collaboration
How to connect with this researcher
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Open a focused conversation when the fit is right
Claim this author entity first to unlock direct invitations.
Research graph
See the researcher in context
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
Building this graph slice
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
3 published item(s)
preprint2020arXiv
A Graph Theoretic Formula for the Number of Primes $π(n)$
Let PR$[n]$ be the graph whose vertices are $2,3,\ldots,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.
0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv
Self-Similar Graphs
For any graph $G$ on $n$ vertices and for any {\em symmetric} subgraph $J$ of $K_{n,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.
0 citations0 reviewsNo code linkedOpen access