Perfect power of $2$ in whose decimal representation, each digit is also a non-negative power of $2$
136832
Is 128 the only multi-digit power of 2 such that each of its digits is also a power of 2?
30523
A binary irrational with bits defined by primes
44790
Find $n$ for which $\frac{n(n+1)}{2}$ is perfect square
61555
Rounding up to next power of 2
125707
A simple proof (hopefully) for $2^x \neq 0$
28781
$k^{2}+(k+1)^{2}$ being a perfect square for infinitely many $k$
10882
irrationality of $\sqrt{2}^{\sqrt{2}}$.
101162
Square root of $2$ is irrational
147485
A conjecture about numbers of the form $10^{m}(2^{k}−1)+2^{k-1}−1$, where $m$ is the number of decimal digits of $ 2^{k-1}$.
41052
The set of real numbers and power set of the natural numbers
67968
When is $2^n -7$ a perfect square?
34666
Prove that the expression cannot be a power of 2
26607
The idea behind the sum of powers of 2
50930
Proving the continued fraction representation of $\sqrt{2}$
45788
$n$-th digit in the sequence of natural numbers
56528
On the proof of existence and uniqueness of radix representation
83542
A natural problem in $\textrm{S}_2^\textrm{P}$?