証終
【
しょうしゅう 】
-
[n]
{mathematics}
《abbr. of 証明が終わった》
- end of proof marker
- QED
History:
-
R 2024-02-13 20:09:32 Stephen Kraus <...address hidden...> (id#2291787) - Comments
Fork
-
A* 2024-02-13 09:02:47 (id#2291778) - Comments
A site:ac.jp search brings up some stuff.
-
A* 2024-02-13 03:56:06 Jim Breen <...address hidden...> (id#2291760)
-
A 2024-02-13 03:55:47 Jim Breen <...address hidden...> (id#2291759) - Comments
Thanks for those examples, Ben. I can see it being discussed in that context. I guess not many mathematical proofs turn up as web pages. I'll lock it in with a note and reopen for further discussion, if any.
- Diff
@@ -13,3 +13,3 @@ -<gloss>Marker of end of proof in mathematics</gloss> -<gloss>Quod Erat Demonstrandum</gloss> -<gloss>Q.E.D.</gloss> +<s_inf>abbr. of 証明が終わった</s_inf> +<gloss>end of proof marker</gloss> +<gloss>QED</gloss>
-
A* 2024-02-12 23:28:41 Ben Bullock <...address hidden...> (id#2291745) - Comments
In a mathematics text the marker of the end of the proof is used to aid the reader to distinguish between the proof's text and whatever remarks the author might add after the proof has finished. It's often marked with a black square or a white square like ■ or □ instead. This usage is restricted to mathematics texts of course, but it's commonly seen even on the internet. https://service.zkai.co.jp/books/toudai/pdf/k6.pdf http://www.misojiro.t.u-tokyo.ac.jp/~murota/lect-kisosuri/cauchyseq041109.pdf https://www.math.tsukuba.ac.jp/~tange/jugyo/18/slide.pdf A lot of the PDFs found with Google seem to have the ability to search the text switched off, but there are examples here: https://horibe.jp/PDFBOX/HD_pi.pdf As far as I can tell, there are not many Japanese mathematics books available in online form, so what I'll do is go to the library and take some pictures of various random maths books. Hopefully that will be enough to "end the proof" that this is a real word.
- (show/hide 3 older history records)
Notes
- Click on the entry seq# to see all versions of the entry.
- ⇒,⇔,⇐ Denote cross references (xrefs). ⇒ shows an xref from this entry sense to some other entry. ⇐ shows an xref on some other entry that points to this one; to change, edit the other entry. ⇔ indicates two xrefs, one in each direction.
- Cross references marked with an asterisk (*) after the seq# denote a reference to an unapproved entry. These will disappear when the unapproved entry is approved.