You said that JackFr was provably incorrect. I'm not pointing out an edge case but pointing out the massive hole in your argument. As a limited computing syste

You said that JackFr was provably incorrect. I'm not pointing out an edge case but pointing out the massive hole in your argument. As a limited computing system, our brain has been optimized to process the world in specific ways using various heuristics and compression techniques. Alien brains would presumably be optimized in different ways. Given our limited capabilities, it seems quite possible that translating any concepts between the two systems would be unfeasible for either our brain or the alien one. I would like to think that there would common ground but that isn't something that can be known a priori, and is thus not presently "proveable". Edit: We do have some fairly "alien" brains here on earth but we haven't had much luck teaching any mollusks any of our mathematical truths.