i printed off the mpsse ftdi manual to learn about professional bitbanging [and be consistent with my normal approach of properly using my tools]
i said this to perplexity: “whelp perplexity we’ve gone and done it, we’ll have to make steps in proving the possible constructibility of 7-gons” perplexity has been converging around my personalization profile of disbelieving in impossibility, but not necessarily toward my preferences. its reply is at https://www.perplexity.ai/search/4b197796-5933-4fc4- 84ad-65a97767260f#0 and attached as Unknown 48.txt . i had to reload and retry things about 12 times to attach the file. i switched between desktop and mobile view and my preference was respected in gmail’s rendering about half the time. some of things i might ask perplexity: - what are the formally accepted details of the boundary conditions of the original axiomatic system and the disproof it really elides over all that assuming i already have learned it - does the neusus approach work if the length of a physical ruler is considered a mark, and does traditional constructibility then assume or require an infinitely long ruler “after the fact” in order to keep previous work correct - what are the normally considered limits and breakdowns of solving or factoring the listed exact cubic equation for 2cos(2pi/7) ( likely lso to have interest in its derivation) - what smaller proofs of impossibility are used as parts of this proof of impossibility, mayb to work on a simpler or smaller problem maintain interestingness [-other things ..; [- the field extension interpretation sounds useful for other things but a bit of a learning exercise
