Email Gateway (Aug 22 2022 at 18:13): Email Gateway (Aug 22 2022 at 18:13):From: José Manuel Rodriguez Caballero <josephcmac@gmail.com>
This post is just an intellectual challenge for people with a lot of free
time this summer...
The Azande are an ethnic group of North Central Africa. Here, a documentary
about these people: https://www.youtube.com/watch?v=Rmug_qvO15s
Anthropologists don't agree about which logical system could be the best
one to express Zande's religion postulates in a consistent way. These
postulates seem to be contradictory from the point of view of traditional
mathematics.
I think that it will be interesting to think about this problem from the
perspective of a proof assistant, trying to mechanize these religions
postulates in a consistent way. Maybe someone reading this post will solve
this anthropologic mystery and to publish a paper with the solution
(anthropologists will be interested in this new information). Here is a
reference to this problem from a rather mathematical point of view:
Salmon, Merrilee H. "Do Azande and Nuer use a non-standard logic?."
Man (1978):
444-454. https://www.jstor.org/stable/2801940?seq=1#page_scan_tab_contents
Kind Regards,
Jose M.
Email Gateway (Aug 22 2022 at 18:14):From: Corey Richardson <corey@octayn.net>
Damn, I hope someone takes this up. This is fascinating.
Last updated: Apr 27 2024 at 01:05 UTC