Klao comments on Proofs, Implications, and Models - Less Wrong

58 Post author: Eliezer_Yudkowsky 30 October 2012 01:02PM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Article Navigation

Comments (209)
Tags: seq_epistemology logic models proof proofs

Comments (209)

You are viewing a single comment's thread.

Comment author: Klao 31 October 2012 09:44:47PM 7 points [-]

(Audiatur et altera pars is the impressive Latin name of the principle that you should clearly state your premises.)

That's not what I thought it means. My understanding was that it's something like: "all parties should be heard", and it's more of a legal thing...

http://en.wikipedia.org/wiki/Audi_alteram_partem

Comment author: Eliezer_Yudkowsky 01 November 2012 04:45:20AM 2 points [-]

http://www.infidels.org/library/modern/mathew/logic.html#alterapars

Comment author: Vaniver 01 November 2012 05:16:45AM *  3 points [-]

I'm not an expert at Latin, but from what I can tell the vast majority of resources on the internet side with Klao's interpretation, and its Google translation seems much closer to the wikipedia version.

Comment author: Eliezer_Yudkowsky 01 November 2012 07:07:38AM 3 points [-]

Mmkay. Page updated.

Powered by Reddit Powered by Reddit