Can we represent pi as a dedeking cut in the rationals

[Khichdi lover]

Hi , I only recently read the construction of reals from rationals.

I could grasp that $\sqrt{2}$ can be represented as the set of rationals given by
{x$\in$ Q : x² < 2 } . As we know this set is defined purely in terms of Q.

Is there a dedekind cut representation for pi as well ?

I read somehwhere that not all reals can be defined. But since pi is defined , what would it's dedeking cut representation be?

 

[Khichdi lover]

https://www.physicsforums.com/showthread.php?t=409091

sorry. please lock this thread as I found the answer in this thread.

1st time posting on the site. so didn't see this thread . :(

 

[Hurkyl]

Thread closed by user request.