/sci/ - Science & Math

He doesn't accept implicit constructions or dealing with non-tangible numbers.

You know, the theory of the reals results in things like uncomputable numbers (numbers you can define but where you're not able, by construction, to find any of its digits) or undefinable numbers (most of the "element of the set of" real numbers can't be talked about individually, not even in principle). Some people reject that.

On top of that, he's a finitist, to a point where it gets ridiculous.

https://en.wikipedia.org/wiki/Computable_number
https://en.wikipedia.org/wiki/Definable_real_number

>>9459063
>rejecting axiom of choice

the sqaure root of 2 is a measure of a Euclidean Geodesic between 2 points. If you are on a quantized surface then obviously your Geodesics are quantized and the theory of length breaks down into a degenerate approximate form.

The mistake is thinking of geometry with geodesics as the primary notions of operation between points.

The proper notion is quadrance. Given a vector V = (a,b), and a symmetric Matrix a (the metric, the identity matrix is the euclidean metric) then define the quadrance of the vector to be VA(Vt). Once you have the quadrance, define a Vector U = (c,d). to find the metric separation between the two vectors, you can use ((VAUt)^2)/((UAUt)(VAVt) to be equal to the (cosine of the angle between the vectors) squared. From there the laws of rational trig hold any symmetric matrix A, are valid over a general field (finite, complex), suggest non euclidean geometries, and make projective geometry easier.

>>9348644
>>9348377
this fails in the general case
consider this counterexample:
you take a pile of sand, and add it to a pile of sand
you are left with a single pile of sand

>>9194430

>>8856670
>tripfag
>never seen post about space niggers
>bringing up /pol/ for no reason
>thinking a bunch of shitposting wage slaves are holding back the development of science
>implying there are more flat earth threads on /pol/ than on /sci/

really jingled my jimjams

> [math] c\in{\mathbb R} [/math]

Well...it's interesting in that it's false.

Like
https://en.wikipedia.org/wiki/Constructive_analysis#Examples

>>8512162
you're not OP

i think /d/ probably has some of the smartest people on 4chan

i was discussing tropical geometry with someone while emptying my futa folder, and 2 other people joined the conversation talking about research they were doing in computational algebraic geometry and foundational mathematics
a few other people began to discuss math too

it was slightly more bizarre than the usual /d/

there's also /y/ which would be perfect for the engineers here

>>8126693
now thats not a very good attitude anon

>>8021392
nice try grothendieck

He does not believe in pi, but does he allow sqrt(2) and 1/3 even though we cannot write them down entirely in decimal form ?