Yes, but keep in mind that both are funded with specific taxes. We aren't just taking money from the general fund and choosing to support retirees. It's meant to be a "pay while working" "receive in retirement" kind of system. You can argue about the merits of that vs. a 401k or whatever, but comparing these programs to the DoD budget is apples and oranges.